🧩
k
-SAT — from Boolean logic to the
P vs NP
frontier
🔤 Notation:
Logic (∧ ∨ ¬)
Code (& | !)
Algebra (· + ′)
English (AND OR NOT)
⟵ All formulas update live!
Van · Claude 4.6 Opus · 2026