🧩
k
-SAT — from Boolean logic to the
P vs NP
frontier
Notation:
Logic (∧ ∨ ¬)
Code (& | !)
Algebra (· + ′)
English (AND OR NOT)
Van/CO4.6/2026