07. Proprietà distributiva
a ^ (b v c) = (a ^ b) v (a ^ c)
Analogamente a quanto si è fatto con le leggi di De Morgan la correttezza dell'equivalenza può essere provata con la tavola di verità:
Sito: 7ecnologie
Sezione: 05. Logica Matematica
Capitolo: 07. Proprietà distributiva
Indice dei capitoli: 00. Risorse - 01. Proposizioni logiche - 02. Tavola di verità - 03. Connettivi logici - 04. Implicazione inversa e contronominale - 05. Tautologia - 06. Leggi di De Morgan - 07. Proprietà distributiva - 08. Caso di studio - 09. Tutorial - 98. Esercizi