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à: