06. Leggi di De Morgan

¬(a^b) = ¬a V ¬b

¬(aVb) = ¬a ^ ¬b

Per verificare l'equivalenza del primo e secondo membro delle due espressioni si può procedere con le relative tavole di verità.

Il procedimento per la verifica della seconda espressione è del tutto analogo: