DNT, literál, implikant

Výroková formule je literál, je-li prvotní formulí nebo negací prvotní formule.

Výroková formule je:

• implikant, je-li literálem nebo konjunkcí několika literálů
• v disjunktivním normálním tvaru (DNT), je-li implikantem nebo disjunkcí několika implikantů.

• Implikant - jeho pravdivost je postačující k pravdivosti celé formule (tedy stačí alespoň jedna závorka v celém DNT)
• Klausule - (nutnost), aby byla pravdivá celá KNT, musí být pravdivá každá klausule