Lukas' Notes

Set of Clauses

Jun 02, 20261 min read

propositional-logic

Backlinks

Clausal Normal Form (Propositional Formula)
Davis–Putnam–Logemann–Loveland Algorithm
Derivation (Propositional Resolution)
Pure Literal
Refutation (Propositional Resolution)
Resolution Calculus (Propositional Logic)
Unit Propagation

Created with Quartz v4.5.2 © 2026

GitHub