Dodaj tę stronę do książki
Pokaż książkę (0 stron)
Proponowane strony
 |
Ten artykuł należy dopracować zgodnie z zaleceniami edycyjnymi: zweryfikować treść i dodać źródła. Po wyeliminowaniu niedoskonałości prosimy usunąć szablon {{Dopracować}} z kodu tego artykułu. |
Klauzula dualna (ang. dual clause) to zbiór 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.
