Scribd
Upload
370 views1 page

Cheat Sheet - Mathematical Reasoning Truth Tables Laws: Conjunction: Double Negation Law

This document provides a cheat sheet on mathematical reasoning. It lists and defines truth tables for logical connectives like conjunction, disjunction, negation, implication, biconditional, and exclusive or. It also lists common laws of logic like the double negation law, identity laws, idempotent laws, commutative laws, associative laws, distributive laws, absorption laws, and De Morgan's laws. The cheat sheet is intended to summarize key concepts in logic for quick reference.

Uploaded by

Vîñît Yãdûvãñšhî
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
370 views1 page

Cheat Sheet - Mathematical Reasoning Truth Tables Laws: Conjunction: Double Negation Law

This document provides a cheat sheet on mathematical reasoning. It lists and defines truth tables for logical connectives like conjunction, disjunction, negation, implication, biconditional, and exclusive or. It also lists common laws of logic like the double negation law, identity laws, idempotent laws, commutative laws, associative laws, distributive laws, absorption laws, and De Morgan's laws. The cheat sheet is intended to summarize key concepts in logic for quick reference.

Uploaded by

Vîñît Yãdûvãñšhî
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 1

Cheat Sheet – Mathematical Reasoning

Truth Tables Laws


Conjunction: p ∧ q Double Negation Law
𝐩 𝐪 𝐩∧𝐪 ~(~p) ≡ p
T T T
T F F
F T F Identity Laws
F F F p∨F≡ p
p∧T≡ p
Disjunction: p ∨ q
𝐩 𝐪 𝐩∨𝐪 Idempotent Laws
T T T
p∨p≡p
T F T
F T T p∧p≡p
F F F

Annihilation Laws
Negation: ~p
p∨T≡ T
𝐩 ~𝐩 p∧F≡ F
T F
F T
Commutative Laws
Implication: p ⇒ q p∨q ≡ q∨p
𝐩 𝐪 𝐩⇒𝐪 p∧q ≡ q∧p
T T T
T F F
F T T Associative Laws
F F T p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r
Related: p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r
Converse: q ⇒ p
Inverse: ~p ⇒ ~q
Contrapositive: ~q ⇒ ~p Distributive Laws
Biconditional: p ⇔ q p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
𝐩 𝐪 𝐩∨𝐪
T T T
T F F Absorption Laws
F T F p ∨ (p ∧ q) ≡ p
F F T
p ∧ (p ∨ q) ≡ p

Exclusive Or: p ⊕ q
𝐩 𝐪 𝐩⊕𝐪 De Morgan’s Laws
T T F ~(p ∨ q) ≡ ~p ∧ ~q
T F T ~(p ∧ q) ≡ ~p ∨ ~q
F T T
F F F

© www.doubleroot.in

You might also like