Logo
Unionpedia
Komunikacja
pobierz z Google Play
Nowy! Pobierz Unionpedia na urządzeniu z systemem Android™!
Pobieranie
Szybszy dostęp niż przeglądarce!
 

Klauzula (matematyka)

Indeks Klauzula (matematyka)

Klauzula – zbiór formuł logicznych.

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 »

TowarzyskiPrzybywający
Hej! Jesteśmy na Facebooku teraz! »