Principi Fondamentali e Leggi dell'Algebra di Boole per la Logica Proposizionale
Classificato in Altri soggetti
Scritto il in
italiano con una dimensione di 2,24 KB
Principi Fondamentali e Leggi dell'Algebra di Boole
Di seguito è presentata una raccolta consolidata delle principali equivalenze logiche utilizzate nel calcolo proposizionale e nell'Algebra di Boole. Queste leggi sono cruciali per la manipolazione e la semplificazione delle espressioni logiche.
Tavola delle Equivalenze Logiche
| Legge Logica | Equivalenze e Proprietà |
|---|---|
| Idempotenza | P˅Q ≡ P P∧Q ≡ P |
| Commutativa | P˅Q ≡ Q˅P P∧Q ≡ Q∧P |
| Associativa | (P˅Q)˅R ≡ P˅(Q˅R) |
| Distributiva | P∧(Q˅R)≡(P∧Q)˅(P∧R) |
| Identità | P˅V≡V / P˅F≡P (Corretto P al posto di p) P∧V≡P / P∧F≡F |
| Complemento | P˅¬P ≡ V P∧¬P ≡ F |
| Condizionale | P→Q ≡ ¬P˅Q P→Q ≡ ¬Q→¬P (Contropositiva) Transitività: P→Q e Q→R → P→R |
| Leggi di De Morgan | ¬(P˅Q) |