Marcs Notes
Search
Suche
Dunkler Modus
Heller Modus
Explorer
Home
❯
university
❯
Logic
❯
Logical System
❯
Propositional Logic
❯
Resolution Calculus
❯
Unit Clause
Unit Clause
07. Dez. 2025
1 Min. Lesezeit
Unit Clause
A
Clause
with exactly one
Literal
.
Graphansicht
Backlinks
Propositional Logic
Clause
Davis Putnam Procedure
Unit Propagation