Meta-issue on Boolean algebra lecture

[Erofivan]

Goal

Create a rigorous yet accessible lecture on Boolean algebra that:

• Builds from Set Theory and Relations lectures foundations
• Introduces Boolean logic starting from primitive statements (not lattice theory)
• Develops formal definitions (lattice theory), laws, and proof techniques
• Covers canonical forms, minimization, and all major synthesis/analysis methods
• Explores functional completeness (Post’s criterion) and Zhegalkin polynomials (ANF)
• Provides a comprehensive section on circuits (with ANSI/IEC notation, all major gates, flip-flops, triggers, and stateful behavior)
• Connects Boolean algebra to computer science and practical problems (algorithms, programming, BDD, logic programming, verification, etc.)
• Explains SAT with modern complexity context, placed after CS applications
• Equips students to construct, simplify, and reason about Boolean expressions using both algebraic and tabular (truth table) methods

Key approach: Balance rigor with clarity: use formal definitions alongside intuitive explanations, complete proofs with visual diagrams, abstract theory with concrete examples. Show proof techniques (direct, contradiction, De Morgan's laws, etc.) as skills, not just results to memorize.

Students should finish able to:

• Distinguish statements that are Boolean expressions from those that are not
• Build and use truth tables for compound Boolean expressions
• Prove and apply the basic laws of Boolean algebra
• Synthesize/minimize Boolean functions using CNF, DNF, Karnaugh maps, algebraic identities, and Zhegalkin polynomials
• Apply Post’s criterion for functional completeness and explain its significance
• Analyze and reduce SAT problems, understanding their computational complexity
• Map Boolean functions to real circuits, understanding limitations (e.g., JK, RS flip-flops)
• Connect Boolean algebra to CS topics like digital circuits, algorithms, and logic programming

---

Content Roadmap

Phase 1: Foundations & Motivation

• Opening: Historical context (Aristotle, Boole); logic as the science of valid reasoning
• Motivation for formal logic and its uses in mathematics and CS
• Primitive statements: definition, examples (true/false, not definitions or ambiguous claims)
• The difference between statements, definitions, and ambiguous sentences
• Law of non-contradiction and other classical logic laws

Phase 2: Boolean Variables & Expressions

• Boolean variables; connectives (AND, OR, NOT, implication, equivalence, XOR)
• Truth tables: definition, construction, and compound expressions
• Tautologies, contradictions, contingencies
• Evaluating and simplifying expressions (with multi-variable examples)
• Logical equivalence and proof by truth table

Phase 3: Boolean Algebra Structure

• Formal definition of Boolean algebra (set, operations, axioms)
• Basic laws: commutativity, associativity, distributivity, identity, complements
• Duality principle; De Morgan's laws (with proofs)
• Secondary operations (implication, equivalence, XOR)
• Lattices and Boolean algebra: structural connections

Phase 4: Canonical Forms & Synthesis

• What are CNF (Conjunctive Normal Form) and DNF (Disjunctive Normal Form)?
• Algorithm for constructing expressions from truth tables (minterms, maxterms; SoP, PoS)
• Concept of literal, minterm, maxterm, clause
• Synthesis: build expressions from sample tables, minimize using identities
• Completeness of normal forms: any Boolean function can be written in CNF/DNF

Phase 5: Minimization Techniques

• Karnaugh maps: visualization and simplification
• Quine-McCluskey algorithm: basics and scope
• Algebraic minimization: applying laws to simplify expressions
• When and why to use CNF vs DNF
• Limitations and complexity of minimization

Phase 6: Zhegalkin Polynomials (Algebraic Normal Form/ANF)

• What is a Zhegalkin polynomial and why is it useful?
• How to compute Zhegalkin polynomials: triangle method
• Pascal's method to compute Zhegalkin polynomials
• Karnaugh map method for Zhegalkin polynomials
• Expressing any Boolean function as a Zhegalkin polynomial; uniqueness and properties

Phase 7: Functional Completeness & Post's Criterion

• What is functional completeness for Boolean operations?
• Five Post classes (preserving 0, preserving 1, self-dual, monotone, linear)
• Post’s criterion: statement, intuition, and full proof
• Examples: functionally complete sets (NAND, NOR, {¬, ∨}, etc.)
• Incomplete sets and counterexamples (with applications)

Phase 8: Digital Circuits: Gates, Notations, Flip-Flops

• ANSI/IEC notation for logic gates
• Standard gates: AND, OR, NOT, NAND, NOR, XOR, XNOR, median, majority, etc.
• Constructing circuits from Boolean expressions
• Triggers and flip-flops: RS, D, JK, T, master-slave, clocking
• State-holding elements: why truth tables are insufficient for JK/RS, memory and feedback
• Real circuit issues: hazards, race conditions, practical constraints
• Limitations of algebraic/functional description for stateful elements
• Circuits for arithmetic (half/full adders, subtractors, comparators, etc.)
• Circuit minimization and optimization steps

Phase 9: Computer Science Applications

• Boolean algebra in algorithms and programming
• Logic programming (Prolog, SAT solvers)
• Binary Decision Diagrams (BDD/ROBDD): structure and applications
• Boolean algebra in formal verification and model checking
• Problem encoding: optimization and search
• Example: Boolean algebra in digital design workflows
• Connections to compiler optimization and hardware synthesis flows

Phase 10: Satisfiability (SAT)

• What is the SAT problem and why is it central to logic and CS?
• SAT and its connection to Boolean logic and expressions
• SAT variants (3-SAT, k-SAT, MAX-SAT, etc.) and their complexity
• Classical and modern algorithms for SAT (DPLL, CDCL overview)
• SAT, NP-completeness, and the P vs NP question

Phase 11?

• Other normal forms (Blake, Scolem, etc.)
• Open problems and research directions
• Preview of a formal logic

---

Implementation Guidelines

These guidelines explain the pedagogical intent and key decisions for each section—use them as you develop slides and materials.

Phase 1: Foundations & Motivation

Start with motivation rooted in real statements and historical context. Use clear examples of what is and isn't a statement. Point out the challenge of defining truth and falsity, referencing both philosophical and practical perspectives. Early introduction of the law of non-contradiction is essential.

Phase 2: Boolean Variables & Expressions

Introduce Boolean variables and common connectives. Use truth tables for every new operation. Provide examples with increasing complexity; encourage students to experiment with constructing and evaluating their own expressions.

Phase 3: Boolean Algebra Structure

After students are comfortable with primitives, introduce the formal algebraic structure and connection to lattices. Emphasize the laws and duality. Prove De Morgan's laws and use visual aids. Show the full set of basic and secondary operations.

Phase 4: Canonical Forms & Synthesis

Show how any Boolean function can be expressed in CNF or DNF using truth tables. Walk through step-by-step algorithms for constructing these forms. Explain minterms and maxterms, and connect this to practical synthesis.

Phase 5: Minimization Techniques

Demonstrate simplification using Karnaugh maps and algebraic identities. Provide multiple examples and exercises. Briefly mention Quine-McCluskey for students interested in further study.

Phase 6: Zhegalkin Polynomials (Algebraic Normal Form/ANF)

Discuss what makes a set of operations complete. State and illustrate Post's criterion with concrete examples and non-examples. Show how completeness connects to digital circuit design and programming languages.

Phase 7: Functional Completeness & Post's Criterion

Emphasize why functional completeness matters for both theory and practice. Introduce Post’s five classes and show how they restrict expressiveness. Walk through the intuition and proof of Post’s criterion, highlighting examples of complete sets (e.g., {NAND}, {NOR}, {¬, ∨}) and incomplete ones. Connect this to circuit design (availability of universal gates) and programming languages (expressive operators). Provide exercises where students test whether given sets are functionally complete.

Phase 8: Digital Circuits: Gates, Notations, Flip-Flops

This section provides an in-depth exploration of digital circuits. Cover ANSI/IEC standard notations, all major gates (AND, OR, NOT, NAND, NOR, XOR, XNOR, median, majority), and how Boolean expressions map to real hardware. Expand with comprehensive treatment of triggers and flip-flops (RS, D, JK, T, master-slave, clocked), the limitation of truth tables for stateful elements, and why JK/RS cannot be described purely by Boolean functions. Include practical issues: hazards, races, memory, and circuit optimization. Provide circuit design examples for arithmetic and logic units.

Phase 9: Computer Science Applications

Emphasize applications in algorithms, programming, BDDs, Discuss advanced minimization (BDDs, ROBDDs), model checking, and logic programming. Show how Boolean algebra encodes problems and optimizes solutions across computing. Highlight role in formal verification and advanced search.

Phase 10: Satisfiability (SAT)

Position SAT after all applications. Cover the SAT problem, its encoding, variants, algorithms, and its role in computational complexity.

Phase 11?

// TODO if needed

Sub-Issues Structure

The lecture can be decomposed into these standalone components:

1. Foundations & Motivation (Phase 1) — 6-8 slides
2. Boolean Variables & Expressions (Phase 2) — 8-10 slides
3. Boolean Algebra Structure (Phase 3) — 8-10 slides
4. Canonical Forms & Synthesis (Phase 4) — 8-10 slides
5. Minimization Techniques (Phase 5) — 12-16 slides
6. Zhegalkin Polynomials (ANF) (Phase 6) — 12-16 slides
7. Functional Completeness & Post’s Criterion (Phase 7) — 8-10 slides
8. Digital Circuits: Gates, Notations, Flip-Flops (Phase 8) — 12-15 slides
9. Computer Science Applications (Phase 9) — 8-10 slides
10. Satisfiability (SAT) (Phase 10) — 12-15 slides
11. Advanced Topics & Extensions (Phase 11) — 8-10 slides (if needed)

Each unit is self-contained (respecting dependencies) and can be developed or reviewed independently. Estimated total: 150-200 slides for a complete, thorough lecture that balances depth with accessibility.

[Lipen]

The whole phase 11 is out of scope. We do not need non-binary logics, we do not need to cover FOL yet, we do not need Post's lattice. Similarly, formal logic in phase 12 is not necessary, since it is the following lecture by itself. The best we can do is half a slide at the very end, previewing the next lecture, but it does not form a "phase" by itself. So, drop those two and we are good to go.

[Erofivan]

Ok, removed them