Lukas' Notes

Search titles, aliases and note text. Use # for tags.

Set of Clauses

1 min read

propositional-logic

Backlinks

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

Created with Quartz v4.5.2 © 2026

GitHub