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;
18 Cards in this Set
- Front
- Back
Commutativity
|
P v Q <> Q v P
P ^ Q <> Q ^ P |
|
Associativity
|
(P v Q) v R <> P v (Q v R)
(P ^ Q) ^ R <> P ^ (Q ^ R) |
|
Distributivity
|
P v (Q ^ R) <> (P v Q) ^ (P v R)
P ^ (Q v R) <> (P ^ Q) v ( P ^ R) |
|
Identity
|
P v 0 <> P
P ^ 1 <> P |
|
Compliment
|
P v P' <> 1
P ^ P' <> 0 |
|
Unsatisfiability
|
P ^ 0 <> 0
|
|
Tautology
|
P v 1 <> 1
|
|
Idempotency
|
(P v P) <> P
(P ^ P) <> P |
|
Absorption
|
P v (P ^ Q) <> P
P ^ (P v Q) <> P |
|
Double Negation
|
(P')' <> P
|
|
Implication
|
(P --> Q) <> (P' v Q)
|
|
De Morgan's Law
|
(P v Q)' <> (P' ^ Q')
(P ^ Q)' <> (P' v Q') |
|
Modus Ponens
|
From P, P --> Q, we can derive Q
|
|
Modus Tollens
|
From P --> Q, Q', we can derive P'
|
|
Conjunction
|
From P, Q, we can derive P ^ Q
|
|
Simplification
|
From P ^ Q, we can derive P, Q
|
|
Addition
|
From P, we can derive P v Q
|
|
Hypothetical Syllogism
|
From P --> Q, Q --> R, we can derive P --> R
|