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;
14 Cards in this Set
- Front
- Back
Identities (IDEN) |
p ∧ T ≡ p p ∨ T ≡ T p ∨ F ≡ p p ∧ F ≡ F p ∨¬p ≡ T p ∧¬p ≡ F |
|
Idempotence (IDEM) |
p ∨ p ≡ p p ∧ p ≡ p |
|
Involution (INVO) |
¬(¬p) ≡ p |
|
Commutativity (COMM) |
p ∨ q ≡ q ∨ p p ∧ q ≡ q ∧ p |
|
Associativity (ASSOC) |
(p ∨ q) ∨ r ≡ p ∨ (q ∨ r) (p ∧ q) ∧ r ≡ p ∧ (q ∧ r) |
|
Distributivity (DIST)
|
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) |
|
De Morgan’s Laws (DM) |
¬(p ∧ q) ≡ ¬p ∨¬q ¬(p ∨ q) ≡ ¬p ∧¬q |
|
Material Equivalence (ME) |
p ↔ q ≡ (p → q) ∧ (q → p) p ↔ q ≡ (p ∧ q) ∨ (¬ q ∧ ¬ p) |
|
Material Implication (MI) |
p → q ≡ ¬p ∨ q |
|
Absurdity (ABS) |
(p → q) ∧ (p → ¬ q) ≡ ¬p |
|
Contrapositive (CONTRA) |
(p → q) ≡ (¬ p → ¬ q) |
|
Exportation (EXPO)
|
(p ∧ q) → r ≡ p → (q → r)
|
|
Absorption
|
p ∨ (p ∧ q) ≡ p p ∧ (p ∨ q) ≡ p |
|
Abs |
p ^ (p v q)= p |