1
Q
De Morgan’s 1st law
A
¬(A v B) = ¬A ^ ¬B
2
Q
De Morgan’s 2nd law
A
¬(A ^ B) = ¬A v ¬B
3
Q
Commutative rules
A
X ^ Y = Y ^ X
X v Y = Y v X
4
Q
Associative rules
A
X ^(Y ^ Z) = (X ^ Y) ^ Z X v (Y v Z) = (X v Y) v Z
5
Q
Distributive rules
A
X ^ (Y v Z) = (X ^ Y) v (X ^ Z)
X v Y) ^ (W v Z) = (X ^ W) v ( X ^ Z) v (Y ^ W) v (Y ^ Z
6
Q
Absorption rules
A
X ^ (X v Y) = X X v (X ^ Y) = X
7
Q
X ^ 0
A
0
8
Q
X ^ 1
A
X
9
Q
X ^ X
A
X
10
Q
X ^ ¬X
A
0
11
Q
X v 0
A
X
12
Q
X v 1
A
1
13
Q
X v X
A
X
14
Q
X v ¬X
A
1
15
Q
¬¬X
A
X
