1
Q
^ or .
A
Conjunction (AND)
2
Q
v or +
A
Disjunction (OR)
3
Q
¬ A or ~A or Ā
A
Negation (NOT)
4
Q
→
A
Implication (IF)
5
Q
↔ or ≡
A
Biconditional equivalence (Equality)
6
Q
V̲ or ⊕
A
Exclusive or (XOR)
7
Q
¬¬A ↔ A
A
Double negation
8
Q
T ^ (PvQ) ↔ (T^P)v(T^Q)
A
Distribution
9
Q
¬(P v Q) ↔ ¬P ^ ¬Q
¬(P ^ Q) ↔ ¬P v ¬Q
A
De Morgan’s law
10
Q
Rules of k-maps
A
Can only group in 1,2,4,8,16,32…(binary headers)
Can only group horizontally and vertically (not diagonal)
Can group in rows, boxes and can wrap around
Groups can overlap
11
Q
PvQ ↔ QvP
A
Commutation
11
Q
Av(BvC) ↔ (AvB)vC
A
Association
