Вы находитесь на странице: 1из 1

Laws of Algebra of Propositions

Identity: p V p p p V T T p V F p p p p p T p p F F p p T p T T p F ~p T p p F p T Commutative: p V q q V p Complement: p V ~p T Double Negation: ~(~p) p Associative: p V (q V r) (p V q) V r p (q r) (p q) r Distributive: p V (q r) (p V q) (p V r) p (q V r) (p q) V (p r) Absorbtion: p V (p q) p p (p V q) p De Morgans: ~(p V q) ~p ~q ~(p q) ~p V ~q Equivalence of Contrapositive: p q ~q ~p Others: p q ~p V q p q (p q) (q p) p ~p F p ~p ~p ~p p p p ~p F p q q p p q q p p q q p p p T p T p p F ~p

Вам также может понравиться