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;
11 Cards in this Set
- Front
- Back
|
p ^ T = p p ∨ F = p |
Identity Laws |
|
|
P ∨ T = T p ^ F = F |
Domination Laws |
|
|
p ∨ p = p p ^ p = p |
Idempotent Laws |
|
|
¬(¬p) = p |
Double negation Laws |
|
|
p ∨ q = q ∨ p p ^ q = q ^ p |
Commutative Laws |
|
|
(p ∨ q) ∨ r = p ∨ (q ∨ r) (p ^ q) ^ r = p ^ (q ^ r) |
Associative Laws |
|
|
p ∨ (q ^ r) = (p ∨ q) ^ (p ∨ r) p ^ ( q ∨ r) = (p ^ q) ∨ ( p ^ r) |
Distributive Law |
|
|
¬(p ^ q) = ¬p ∨¬q ¬(p ∨ q) = ¬p ^ ¬q
|
De Moragn's Law |
|
|
p ∨ (p ^ q) = p p ^ (p ∨ q) = p |
Absorbtion Law |
|
|
P ∨ ¬p = T p ^ ¬p = F |
Negation Laws |
|
|
P→ q = ¬p ^ q |
Implication Law |
