AND OR NOT XOR, NOR, NAND, XNOR Funny Characters: ∧ = AND, ∨ = OR, ¬ = NOT, ⊕ = XOR, etc. && = AND, || = OR, ! = NOT, ^ = XOR, etc. Truth Tables Venn Diagrams Rocky’s Boots and Robot Odyssey: Early to Mid 1980’s for Apple II and IBM PCs. DroidQuest: a remake of Robot Odyssey GATE, from One Girl One Laptop Productions Logic.ly Atanua, real-time logic simulator CEDAR Logic Simulator (includes religious content!) LabView from National Instruments (overkill?) Not relevant to skeptical logic… Not relevant to real world “gray areas”… Not terribly relevant to decimal mathematics But you can build robots with it!