Definition Unit Clause (Propositional Logic) A unit clause is a clause that only consists of one literal.