Boolean Algebra Flashcards
¬(¬A) =
A
A∧ ¬A =
0
A∨ ¬A =
1
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
A OR (A AND B) is the same as A
Absorption Law OR
A∧(A∨B)=A
A AND (A OR B) is the same as A
X∧0=
0
X∧1=
X
X∧X=
X
X∧¬X=
0