Just watch the relaxing elements: • A serene metal sponge! • Two Cheetos in a glass jar trying to escape! • The Phantasmal Phource reading the menu! • A pickle plant that attracts moths! • A TARDIS that never can quite take off! • And yes...The ChalkScratcher 3000! Here it is on the big screen: https://youtu.be/AwxoI-dFzDY Don't scroll down. Don't do it, it's for your own good! This is the last time I'm warning you! Down there lies SYMBOLIC LOGIC! *Gasp!* Identity Law: p ∧ (p ∨ q) ↔ p Domination Law: p ∨ (p ∧ q) ↔ p Double Negation: p ↔ ¬¬p Commutative Law (AND): p ∧ q ↔ q ∧ p Commutative Law (OR): p ∨ q ↔ q ∨ p Associative Law (AND): p ∧ (q ∧ r) ↔ (p ∧ q) ∧ r Associative Law (OR): p ∨ (q ∨ r) ↔ (p ∨ q) ∨ r De Morgan’s Law (AND): ¬(p ∧ q) ↔ ¬p ∨ ¬q De Morgan’s Law (OR): ¬(p ∨ q) ↔ ¬p ∧ ¬q Implication Law: p → q ↔ ¬p ∨ q Contrapositive Law: p → q ↔ ¬q → ¬p Biconditional Law: p ↔ q ↔ (p → q) ∧ (q → p) Modus Ponens: (p ∧ (p → q)) → q Modus Tollens: (p → q) ∧ ¬q ⇒ ¬p
All made in Blender, with sound effects from various places (my associate modeled the metal sponge).