Logica delle proposizioni

Proprietà delle operazioni logiche

Mediante l’equivalenza di espressioni è possibile scrivere proprietà di cui godono le operazioni logiche.

\(p \land p = p\)
\(p \lor p = p\)
proprietà di idempotenza
\(p \land q = q \land p\)
\(p \lor q \lor q = p\)
proprietà commutativa
\(p \land (q \land r) = (p \land q) \land r\)
\(p \lor (q \lor r) = (p \lor q) \lor r\)
proprietà distributiva
\(p \land (p \lor q) = q\)
\(p \lor (p \land q) = p\)
proprietà di assorbimento
\(\overline{\hbox{p ∧ q}} = \overline{\hbox{p}} \lor \overline{\hbox{q}}\) 1a legge di De Morgan
\(\overline{\hbox{p ∨ q}} = \overline{\hbox{p}} \land \overline{\hbox{q}}\) 2a legge di De Morgan

Visite: 2780

Pagine: 1 2 3 4 5 6 7 8