Logic, Gates, and Computation Step by Step

Understand logic, gates, constraints, circuits, and toy quantum computation through exact small tables.

Truth Tables

Laws and Normal Forms

Inference

Constraint Solving

Search and Optimization

Gates to Circuits

Building Arithmetic

Quantum Gates