¬(¬A) =
A
A∧ ¬A =
0
A∨ ¬A =
1
conjunction
AND
disjunction
OR
Exclusive disjunction
XOR
Negation
NOT
∧
AND (*)
∨
OR (+)
De Morgan’s Law (first)
¬ (A∨B) = (¬ A) ∧(¬ B)
NOT (A OR B) is the same as (NOT A) AND (NOT B)
Distribution LAW (OR)
A∧(B∨C)=(A∧B)∨(A∧C) A AND (B OR C) is the same as (A AND B) OR (A AND C)
Distribution LAW (AND)
A∨(B∧C)= (A∨B)∧(A∨C) A OR (B AND C) is the same as (A OR B) AND (A OR C)
Association LAW (OR)
A∨(B∨C)=(A∨B)∨C= A∨B∨C A OR (B OR C) is the same as (A OR B) OR C is the same as A OR B OR C
Association LAW (AND
A∧(B∧C)=(A∧B)∧C= A∧B∧C A AND (B AND C) is the same as (A AND B) AND C is the same as A AND B AND C
commutation LAW AND
A∧B = B∧A
The order in which two variables are AND’ed makes no difference
commutation LAW OR
A∨B = B∨A
The order in which two variables are OR’ed makes no difference
Absorption Law AND
A∨(A∧B) = A X OR (X AND Y) is the same as X
Absorption Law OR
A∧(A∨B)=A X AND (X OR Y) is the same as X
X∧0=
0
X∧1=
X
X∧X=
X
X∧¬X=
0
X∨0 =
X
X∨1 =
1