i teoremi di De Morgan, o leggi di De Morgan, prendono il nome dal matematico e logico britannico Augustus De Morgan e sono relativi alla logica booleana. Sono utilizzati per l'analisi di circuiti logici (elettrici, elettronici, pneumatici, comunque digitali, cioè ON-OFF). Affermano quanto segue:
not (P and Q) = (not P) or (not Q)
not (P or Q) = (not P) and (not Q)
Nella logica proposizionale possono essere formulate in vario modo:
oppure oppure
e nella teoria degli insiemi così:
In pratica esse descrivono il comportamento dei connettivi logici (AND e OR) quando una negazione viene tolta da o inserita in una formula in parentesi. Se si raccoglie la negazione fuori parentesi o la si distribuisce tra i termini in parentesi, il connettivo si trasforma nel suo opposto.
Answers & Comments
Verified answer
pratikamente dv sl seguire questo link http://www.ripmat.eu/mate/j/jb/jbfha.html questa è la prima legge http://www.ripmat.eu/mate/j/jb/jbfhb.html ecco la seconda
io da qui subito le ho capite
i teoremi di De Morgan, o leggi di De Morgan, prendono il nome dal matematico e logico britannico Augustus De Morgan e sono relativi alla logica booleana. Sono utilizzati per l'analisi di circuiti logici (elettrici, elettronici, pneumatici, comunque digitali, cioè ON-OFF). Affermano quanto segue:
not (P and Q) = (not P) or (not Q)
not (P or Q) = (not P) and (not Q)
Nella logica proposizionale possono essere formulate in vario modo:
oppure oppure
e nella teoria degli insiemi così:
In pratica esse descrivono il comportamento dei connettivi logici (AND e OR) quando una negazione viene tolta da o inserita in una formula in parentesi. Se si raccoglie la negazione fuori parentesi o la si distribuisce tra i termini in parentesi, il connettivo si trasforma nel suo opposto.
Espresse in forma tabellare :
¬(W+Y) = (¬W) * (¬Y)
¬(W*Y) = (¬W) + (¬Y)
1 + W = 1
0 * W = 0
0 + W = W
1 * W = W
p v q (tutto negato)= p (negato) ^q (negato)