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;
19 Cards in this Set
- Front
- Back
|
Converse of p -> q |
q -> p |
|
|
Contrapositive p -> q |
=q -> =p |
|
|
Inverse p -> q |
=p -> =q
|
|
|
^ |
and |
|
|
v |
or |
|
|
<-> |
if and only if (both are true and false) |
|
|
-> |
implies (if, then) (if first is false then true, if both are true then true) |
|
|
XOR |
Only true if ONLY one of the values is true |
|
|
equivalency sign |
_ = |
|
|
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 law |
|
|
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 laws |
|
|
¬(p ∧ q) ≡ ¬p ∨ ¬q ¬(p ∨ q) ≡ ¬p ∧ ¬q |
De Morgan’s laws |
|
|
p ∨ (p ∧ q) ≡ p p ∧ (p ∨ q) ≡ p |
Absorption laws |
|
|
p ∨ ¬p ≡ T p ∧ ¬p ≡ F |
Negation laws |
