Logic, Sets & Truth Tables with Spreadsheets

What you'll build

What you will be able to do

Each lab ends with a concrete result that you build yourself and the checker confirms, cell by cell.

• Build the truth table of the four basic connectives with Excel's own logical functions and see where AND, OR and XOR differ.
• Compute the implication p → q, its converse and contrapositive, and the biconditional p ↔ q, and find which of them say the same thing.
• Prove De Morgan's law and the distributive law by checking all 8 rows of a three-variable truth table, and you count the rows where a popular wrong "law" fails.
• Treat Lumen Books' genre buyers as sets, build union, intersection and difference as 0/1 columns, count them and compute the Jaccard similarity of the two groups.
• Count all eight regions of a three-set Venn diagram straight from the raw membership data with one COUNTIFS pattern, verify the union with inclusion–exclusion and chart the regions.
• Solve a knights-and-knaves puzzle the spreadsheet way: list all 8 possible worlds, evaluate each person's claim, keep the rows where everybody is consistent and read off the unique solution.
• Turn the logical quantifiers ∀ (for all) and ∃ (there exists) into COUNTIF tests on Lumen Books' order list, per order and per customer.
• Evaluate three draft discount rules on 12 orders, count how many rules fire per order, and find the conflicts and gaps in the rule set before it goes live, with a coverage chart.