Disjunctions

Conjunctive Normal Form

First-Order Logic

Implication Graph

Infinitary Logics

2-satisfiability

Conjunctions

Form

Implication

Infinitely

Instance

Logic

Normal

True

Variables