Law Memorization
Popularity (by total correct streak): 0
Popularity (by number of users): 0
| p ∧ T ≡ | p ( Identity ) | |
| p ∨ F ≡ | p ( Identity ) | |
| p ∨ T ≡ | T ( Domination ) | |
| p ∧ F ≡ | F ( Domination ) | |
| p ∨ p ≡ | p ( Idempotent ) | |
| p ∧ p ≡ | p ( Idempotent ) | |
| ¬(¬p) ≡ | p ( Double Negation ) | |
| p ∨ q ≡ | q ∨ p ( Commutative ) | |
| p ∧ q ≡ | q ∧ p ( Commutative ) | |
| (p ∨ q) ∨ r ≡ | p ∨ (q ∨ r) ( Associative ) | |
| (p ∧ q) ∧ r ≡ | p ∧ (q ∧ r) ( Associative ) | |
| p ∨ (q ∧ r) ≡ | (p ∨ q) ∧ (p ∨ r) ( Distributive ) | |
| p ∧ (q ∨ r) ≡ | (p ∧ q) ∨ (p ∧ r) ( Distributive ) | |
| ¬(p ∧ q) ≡ | ¬p ∨¬q ( De Morgan's 1st ) | |
| ¬(p ∨ q) ≡ | ¬p ∧¬q ( De Morgan's 2nd ) | |
| p ∨ (p ∧ q) ≡ | p ( Absorption ) | |
| p ∧ (p ∨ q) ≡ | p ( Absorption ) | |
| p ∨¬p ≡ | T ( Negation ) | |
| p ∧¬p ≡ | F ( Negation ) | |
| p → q ≡ | ¬p ∨ q | |
| p → q ≡ | ¬q → ¬p | |
| p ∨ q ≡ | ¬p → q | |
| p ∧ q ≡ | ¬(p → ¬q) | |
| ¬(p → q) ≡ | p ∧¬q | |
| (p → q) ∧ (p → r) ≡ | p → (q ∧ r) | |
| (p → r) ∧ (q → r) ≡ | (p ∨ q) → r | |
| (p → q) ∨ (p → r) ≡ | p → (q ∨ r) | |
| (p → r) ∨ (q → r) ≡ | (p ∧ q) → r | |
| p ↔ q ≡ | (p → q) ∧ (q → p) | |
| p ↔ q ≡ | ¬p ↔ ¬q | |
| p ↔ q ≡ | (p ∧ q) ∨ (¬p ∧¬q) | |
| ¬(p ↔ q) ≡ | p ↔ ¬q |
Quisition is a browser-based flashcard system that repeats old cards and introduces new ones at optimal time intervals. You can create your own card packs or use those developed by others.
