Dadurch, dass sich Vernunftschlüsse auf ein Bedingtes beziehen, fallen sie in der Urteilstafel unter die Urteilsform der Relation, sind also kategorisch, hypothetisch oder disjunktiv.
Er formalisierte die klassische Logik und Aussagenlogik und entwickelte ein Entscheidungsverfahren für die wahren Formeln über eine disjunktive Normalform.
Neben der konjunktiven Normalform gibt es in der Aussagenlogik weitere Normalformen, etwa die disjunktive Normalform, die Negationsnormalform oder die kanonische Normalform.
