Propriedades Comutativa, Distributiva e Leis de De Morgan
Equivalência Lógica
Portanto, dizemos que duas proposições são equivalentes se, e somente se, o resultado de suas tabelas-verdade for idêntico.
Raciocínio Lógico Leis de Morgan
Leis de Morgan – Negativa de uma proposição composta
Negar proposição com conectivos ∧ (e) ou ∨ (ou)
~(P∧Q) ≡ ~P ∨ ~Q
~(P∨Q) ≡ ~P ∧ ~Q
Para aplicar as regras:
Negar as proposições
Inverter os conectivos (∧→∨ e ∨→∧)