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:

Sito: 7ecnologie

Sezione: 05. Logica Matematica

Capitolo: 06. Leggi di De Morgan

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