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;
17 Cards in this Set
- Front
- Back
p ^ q = q ^ p |
Commutative Law |
|
(p ^ q) ^ r = p ^ (q ^ r) |
Associative Law |
|
p ^ (q v r) = (p ^ q) v (p ^ r) |
Distributive Law |
|
p ^ T = p |
Identity Law |
|
p v c = p |
Identity Law |
|
p v ~p = T |
Negation Law |
|
p ^ ~p = c |
Negation Law |
|
~(~p) = p |
Double Negative Law |
|
p ^ p = p |
Idempotent Law |
|
p v p = p |
Idempotent Law |
|
p v T = T |
Universal Bound Law |
|
p ^ c = c |
Universal Bound Law |
|
~(p ^ q) = ~p v ~q |
DeMorgan's Theorm |
|
p v (p ^ q) = p |
Absorption Law |
|
p ^ (p v q) = p |
Absorption Law |
|
~T = c |
Negation of T |
|
~c = T |
Negation of C |