Klauzula dualna (ang. dual clause) to zbiór literałów i zanegowanych literałów, który jest prawdziwy wtedy i tylko wtedy, gdy ich koniunkcja jest prawdziwa. Klauzula dualna pusta jest zawsze prawdziwa.
Na przykład klauzula dualna {p,¬ r,q} jest prawdziwa, gdy każde z wyrażeń p, ¬r, q ma wartość logiczną 1.