The document lists various logical equivalences in propositional logic, along with their names. It includes equivalence rules for conjunction, disjunction, negation, implication, equivalence, identity, zero, domination, tautology, contradiction, idempotence, commutativity, associativity, distributivity, absorption, De Morgan's laws, and more. The list contains over 30 logical equivalences expressed in propositional logic notation.
The document lists various logical equivalences in propositional logic, along with their names. It includes equivalence rules for conjunction, disjunction, negation, implication, equivalence, identity, zero, domination, tautology, contradiction, idempotence, commutativity, associativity, distributivity, absorption, De Morgan's laws, and more. The list contains over 30 logical equivalences expressed in propositional logic notation.
The document lists various logical equivalences in propositional logic, along with their names. It includes equivalence rules for conjunction, disjunction, negation, implication, equivalence, identity, zero, domination, tautology, contradiction, idempotence, commutativity, associativity, distributivity, absorption, De Morgan's laws, and more. The list contains over 30 logical equivalences expressed in propositional logic notation.
A1 A Identity of (Identity Laws) A 0 A Zero of (Identity Laws) A 1 1 Identity of (Dominition Laws) A0 0 Zero of (Dominition Laws) A A 1 Tautology (Excluded Middle Law) A A 0 Law of Contradiction A A A Idempotence Laws AA A Idempotence Laws A A Law of Double Negation
AB BA Commutativity (Commutative Laws)1
A B B A Commutativity (Commutative Laws)2
(A B) C A (B C) Associativity (Associative Laws) 1
(A B) C A (B C) Associativity (Associative Laws) 2 A (B C) (A B) (A C) Distributivity (Distributive Laws) 1 A (B C) (A B) (A C) Distributivity (Distributive Laws) 2 A (A B) A Absorption 1a A (A B) A Absorption 1b A ( A B) A B Absorption 2a A (A B) A ( A B) A B AB Absorption 2b A (A B) A B (A B) (A B) A Absorption 3a (A B) (A B) A Absorption 3b A B) B (A B) ( Absorption 4a A B) B (A B) ( Absorption 4b (A B) A B De Morgan’s Law 1 (A B) A B De Morgan’s Law 2 AB A B Implikasi 1 A B (A B) Implikasi 2 A B (A B) ( A Ekuivalensi 1 B) Ekuivalensi 2 AB (A B) (B A)