FF's Roam Notes
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
CNF
CNF
Jun 05, 2025
1 min read
A propositional formular
Ψ
that is a conjunction of clauses.
Graph View
Backlinks
SAT Problem