Reading...
Play button
Play button
Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
10 Cards in this Set
- Front
- Back
|
p ^ q = q ^ p
q v p = p v q |
Commutative laws
|
|
|
(p ^ q) ^ r = p ^ (q ^ r)
(p v q) v r = p v (q v r) |
Associative laws
|
|
|
p ^ (q v r) = (p ^ q) v (p ^ r)
p V (q ^ r) = (p v q) ^ (p v r) |
Distributive laws
|
|
|
p ^ T = p
p v C = p |
Identity laws
|
|
|
p v ~p = T
p ^ ~p = C |
Negation laws
|
|
|
~(~p) = p
|
Double negative laws
|
|
|
p ^ p = p
p v p = p |
Indempotent laws
|
|
|
p v T = T
p ^ C = C |
Universal bound laws
|
|
|
~(p ^ q) = ~p v ~q
~(p v q) = ~p ^ ~q |
DeMorgan's laws
|
|
|
p v (p ^ q) = p
p ^ (p v q) = p |
Absorption laws
|
