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 <-> p
|
Double Negation
|
|
-(pVq) <-> -p^-q
-(p^q) <-> -pV-q |
DeMorgan's Laws
|
|
pVq <-> qVp
p^q <-> q^p |
Commutative Laws
|
|
pV(qVr) <-> (pVq)Vr
p^(q^r) <-> (p^q)^r |
Associative Laws
|
|
pV(q^r) <-> (pVq)^(pVr)
p^(qVr) <-> (p^q)V(p^r) |
Distributive Laws
|
|
pVp <-> p
p^p <-> p |
Idempotent Laws
|
|
pVF <-> p
p^T <-> p |
Identity Laws
|
|
pV-p <-> T
p^-p <-> F |
Inverse Laws
|
|
pVT <-> T
p^F <-> F |
Domination Laws
|
|
pV(p^q) <-> p
p^(pVq) <-> p |
Absorption Laws
|