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 |
