Logic, Sets & Truth Tables with Spreadsheets
Propositions and truth tables with AND, OR, NOT and XOR, implication tricks, De Morgan proofs, sets as 0/1 columns, three-set Venn counts, a knights-and-knaves puzzle, ∀/∃ quantifiers with COUNTIF and a business-rule decision table, in 8 graded labs.
The first lesson is free — no account needed.
About this course
A logic, sets and truth tables course for discrete maths and computer science students, puzzle fans and analysts who write business rules, with every proof checked in a spreadsheet. You build the truth tables of AND, OR, NOT and XOR with Excel's own logical functions, compute an implication, its converse and contrapositive and the biconditional, prove De Morgan's law and the distributive law over all eight rows of a three-variable table, treat customer groups as sets in 0/1 columns for union, intersection, difference and Jaccard similarity, count all eight regions of a three-set Venn diagram with COUNTIFS and check them with inclusion–exclusion, solve a knights-and-knaves puzzle by testing every possible world, express "for all" and "there exists" as COUNTIF tests and find conflicts and gaps in a discount rule table. The first lab is free.
Lessons
- Propositions & Truth Tables: AND, OR, NOT, XORFree
- Implication & Biconditional: IF–THEN Logic in Excel Pro
- Tautologies & Equivalences: Proving De Morgan with a Truth Table Pro
- Sets as 0/1 Membership Columns: Union, Intersection & Difference Pro
- Venn Diagrams from Data: Counting the 8 Regions of Three Sets Pro
- Logic Puzzles: Test Every Candidate Row Pro
- Quantifiers on Data: "For All" and "There Exists" with COUNTIF Pro
- Logic in Business Rules: Testing a Decision Table for Conflicts & Gaps Pro