Klauzula dualna: Różnice pomiędzy wersjami
Wygląd
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
mNie podano opisu zmian |
bibliografia |
||
Linia 8: | Linia 8: | ||
* [[klauzula Horna]] |
* [[klauzula Horna]] |
||
[[Kategoria:Logika matematyczna]] |
[[Kategoria:Logika matematyczna]] |
||
== Bibliografia == |
|||
{{Cytuj książkę|nazwisko=Gedeon | imię =Tamás D. |tytuł=AI 2003: Advances in Artificial Intelligence|data = |rok=2003|wydawca = Springer-Verlag Berlin Heidelberg|miejsce = Berlin ; New York |imię2=Lance Chun Che|nazwisko2=Fung|strony=XXXII, 1078|tom=2903|seria=Lecture Notes in Artificial Intelligence|isbn = 9783540206460|doi=10.1007/b94701|Podtytuł=16th Australian Conference on AI, Perth, Australia, December 3-5, 2003, Proceedings}} |
Wersja z 01:10, 11 lis 2017
Ten artykuł od 2010-09 wymaga zweryfikowania podanych informacji. |
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 {p, ¬r, q} jest prawdziwa, gdy każde z wyrażeń p, ¬r, q ma wartość logiczną 1.
Zobacz też
Bibliografia
Tamás D. Gedeon, Lance Chun Che Fung: AI 2003: Advances in Artificial Intelligence. T. 2903. Berlin ; New York: Springer-Verlag Berlin Heidelberg, 2003, s. XXXII, 1078, seria: Lecture Notes in Artificial Intelligence. DOI: 10.1007/b94701. ISBN 978-3-540-20646-0.