laws of logic

The following laws of logic are valid in propositional logic and can be proved with truth tables. They are also valid in any boolean algebra. See logical operator for the meaning of the symbols. This table uses the symbols '∧' for AND, '∨' for OR, '¬' for NOT, and '≡' to denote equivalence. Logical TRUE and FALSE values are indicated by 'T' and 'F'.

Summary of the Laws of Logic

Idempotent	p ∨ p ≡ p p ∧ p ≡ p
Associative	(p ∧ q ) ∧ r ≡ p ∧ ( q ∧ r ) (p ∨ q ) ∨ r ≡ p ∨ ( q ∨ r )
Commutative	p ∧ q ≡ q ∧ p p ∨ q ≡ q ∨ p
Distributive	p ∨ ( q ∧ r ) ≡ ( p ∨ q ) ∧ ( p ∨ r ) p ∧ ( q ∨ r ) ≡ ( p ∧ q ) ∨ ( p ∧ r )
Identity	p ∧ T ≡ p p ∨ F ≡ p
Annihilation	p ∨ T ≡ T p ∧ F ≡ F
Complement	p ∨ ¬ p ≡ T p ∧ ¬ p ≡ F ¬ T ≡ F ¬ F ≡ T
Involution	¬ ¬ p ≡ p
DeMorgan's	¬ ( p ∨ q ) ≡ ( ¬ p ∧ ¬ q ) ¬ ( p ∧ q ) ≡ ( ¬ p ∨ ¬ q )
Absorption	p ∧ ( p ∨ q ) ≡ p p ∨ ( p ∧ q ) ≡ p

<< Previous

Word Browser

Next >>

battle of toulouse
local councils of malta
battle of tourcoing (1794)
battle of platzberg (1794)
battle of trippstadt (1794)
fermat primality test
battle of trebia (1799)
battle of turckeim
ko4ting
battle of vauchamps
battle of talavera

theodore roethke
battle of tudela
battle of vimeiro
battle of vitoria
battle of wagram
battle of wattignies (1793)
battle of woerth (1793)
battle of yorktown (1781)
battle of zurich (1799)
fountains of wayne
the ataris

permafrost
meet the residents
lifespring
afv
milligram
captain nemo
anya jenkins
autokey cipher
joseph merrick
elessar
helm hammerhand

eorl the young
narsil
eddie cicotte
list of fictional dogs
knuckleball
battle of cannae
valandil
geminids
meteor shower
western text type
victor fleming