Klauzula dualna

Ten artykuł od 2010-09 wymaga zweryfikowania podanych informacji.

Należy podać wiarygodne źródła w formie przypisów bibliograficznych.
Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte.
Sprawdź w źródłach: Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary)
Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

Klauzula dualna (ang. dual clause) – koniunkcja skończonego zbioru literałów. Jest ona prawdziwa wtedy i tylko wtedy, gdy każdy z literałów jest prawdziwy. Klauzulę dualną pustą uznaje się za zawsze prawdziwą.

Na przykład klauzula dualna $\bigwedge$ {p, ¬r, q} jest prawdziwa, gdy każde z wyrażeń p, ¬r, q ma wartość logiczną 1.

Zobacz też

Bibliografia

AI 2003: Advances in Artificial Intelligence. 16th Australian Conference on AI, Perth, Australia, December 3-5, 2003, Proceedings. Tamás D. Gedeon, Lance C. C. Fung (red. red.). Springer, 2003. DOI: 10.1007/b94701. ISBN 978-3-540-20646-0.