Klauzula dualna

W następnym artykule zagłębimy się w fascynujący świat Klauzula dualna, temat, który przykuł uwagę milionów ludzi na całym świecie. Niezależnie od tego, czy ze względu na swoje znaczenie w historii, wpływ na obecne społeczeństwo czy wpływ na kulturę, Klauzula dualna wzbudził duże zainteresowanie i ciekawość w różnych obszarach. Idąc tym tropem, zbadamy różne aspekty związane z Klauzula dualna, od jego początków po ewolucję w czasie. Ponadto przeanalizujemy jego znaczenie w obecnym kontekście i jego przyszłą prognozę, co pozwoli nam lepiej zrozumieć trafność i znaczenie Klauzula dualna w dzisiejszym świecie.

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 ${\displaystyle \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 numerów stron w książce