logic

Definition

Unit Clause

A unit clause is a clause that only consists of one literal.