1
Q
de morgans law
A
1: change or to and or and to or
2: NOT terms on either side of operator
3: NOT everything that has changed
4: remove double nots
5: remove unnecessary brackets
2
Q
double negation
A
removing double nots
3
Q
association
A
remove brackets from an expression and regroup variables
4
Q
commutation
A
order of application of two separate terms is not important
B v A = A v B
5
Q
distribution
A
allows us to multiply or factor out an expression
A v ( B ^ C) = (A v B) ^ ( A v C)
