Boolean Functions

March 13, 2026

Work in progress.

Boolean Functions

$\LaTeX$ test. A boolean function: $f : \{0, 1\}^n \rightarrow \{0, 1\}$ See O’Donnell’s Analysis of Boolean Functions

Sharp Transitions

Lean proof

De Morgan’s laws, proved by exhaustive case analysis on all four combinations of true/false:

← Analytic Methods