Klauzula dualna

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ż

• klauzula
• klauzula Horna

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.brak strony w książce