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: 3367
venerdì 29 Maggio - 2020