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;
8 Cards in this Set
- Front
- Back
Discrete Math Operators
⌝ ∃ ∀ ⋎ ⋏ ≡ ∴ ↔ → |
not operator, existential quantifier, universal quantifier, or operator, and operator, equivalent, blah, bidirectional implication, unidirectional implication.
|
|
Equivalence Laws: Identity
|
p ⋏ T ≡ p
p ⋎ F ≡ p |
|
Equivalence Laws: Domination
|
p ⋎ T ≡ T
p ⋏ F ≡ F |
|
Equivalence Laws: Idempotent
|
p ⋎ p ≡ p
p ⋏ p ≡ p |
|
Equivalence Laws: Double Negation
|
⌝(⌝p) ≡ p
|
|
Equivalence Laws: DeMorgan's
|
⌝(p ⋏ q) ≡ ⌝p ⋎ ⌝q
⌝(p ⋎ q) ≡ ⌝p ⋏ ⌝q |
|
Equivalence Laws: Absorption
|
p ⋎ (p ⋏ q) ≡ p
p ⋏ (p ⋎ q) ≡ p |
|
Equivalence Laws: Negation
|
p ⋎ ⌝p ≡ T
p ⋏ ⌝p ≡ F |