4 kontakty: Alternatywa, Formuła logiczna, Klauzula dualna, Klauzula Horna.
Alternatywa
Alternatywa, suma logiczna, alternatywa zwykłaTaka nazwa jest niekiedy stosowana dla odróżnienia od alternatywy rozłącznej.
Nowy!!: Klauzula (matematyka) i Alternatywa · Zobacz więcej »
Formuła logiczna
Formuła logiczna – określenie dozwolonego wyrażenia w wielu systemach logicznych, m.in.
Nowy!!: Klauzula (matematyka) i Formuła logiczna · Zobacz więcej »
Klauzula dualna
Klauzula dualna – koniunkcja skończonego zbioru literałów.
Nowy!!: Klauzula (matematyka) i Klauzula dualna · Zobacz więcej »
Klauzula Horna
Klauzula Horna – klauzula, w której co najwyżej jeden element jest niezanegowany.
Nowy!!: Klauzula (matematyka) i Klauzula Horna · Zobacz więcej »