19 kontakty: Algorytm wielomianowy, Alternatywa, Fałsz, Formuła logiczna, Język angielski, Klauzula dualna, Koniunkcja (logika), Koniunkcyjna postać normalna, Literał, Logika, Negacja, Niesprzeczność, Postać normalna (matematyka), Prawa De Morgana, Problem decyzyjny (teoria obliczeń), Problem NP-zupełny, Problem spełnialności, Wartościowanie (logika), Złożoność obliczeniowa.
Algorytm wielomianowy
Algorytm wielomianowy – algorytm, którego czas działania ograniczony jest przez wielomian od rozmiaru danych wejściowych.
Nowy!!: Dysjunkcyjna postać normalna i Algorytm wielomianowy · Zobacz więcej »
Alternatywa
Alternatywa, suma logiczna, alternatywa zwykłaTaka nazwa jest niekiedy stosowana dla odróżnienia od alternatywy rozłącznej.
Nowy!!: Dysjunkcyjna postać normalna i Alternatywa · Zobacz więcej »
Fałsz
Fałsz – jedna z dwóch podstawowych wartości logicznych (drugąjest prawda). Fałsz jest niezgodnościątreści sądu (zdania) z tym, do czego się odnosi. W logice matematycznej fałsz jest jedynie symbolem, nie ma żadnego głębszego znaczenia. W mowie potocznej i logice tradycyjnej za fałsz uważa się stwierdzenie czegoś, co nie miało miejsca w rzeczywistości lub zaprzeczenie czemuś, co miało miejsce. W pozytywizmie logicznym uwzględnia się też wartość not even false, dla twierdzeń nieweryfikowalnych, co oznacza, że dane zdanie nie ma w ogóle sensu faktycznego, czyli nie odnosi się do żadnych faktów. W matematyce przy danym układzie aksjomatów niektóre twierdzenia sąnierozstrzygalne, a więc nie sąani prawdziwe ani fałszywe.
Nowy!!: Dysjunkcyjna postać normalna i Fałsz · Zobacz więcej »
Formuła logiczna
Formuła logiczna – określenie dozwolonego wyrażenia w wielu systemach logicznych, m.in.
Nowy!!: Dysjunkcyjna postać normalna i Formuła logiczna · Zobacz więcej »
Język angielski
Wielkiej Brytanii symbolizujące język angielski ikona symbolizująca język angielski według standardu ISO 639-1 Język angielski, angielszczyzna (ang.) – język z grupy zachodniej rodziny języków germańskich, powszechnie używany w Wielkiej Brytanii, jej terytoriach zależnych oraz w wielu byłych koloniach i dominiach, m.in.
Nowy!!: Dysjunkcyjna postać normalna i Język angielski · Zobacz więcej »
Klauzula dualna
Klauzula dualna – koniunkcja skończonego zbioru literałów.
Nowy!!: Dysjunkcyjna postać normalna i Klauzula dualna · Zobacz więcej »
Koniunkcja (logika)
Koniunkcja – zdanie złożone mające postać p i q, gdzie p, q sązdaniami.
Nowy!!: Dysjunkcyjna postać normalna i Koniunkcja (logika) · Zobacz więcej »
Koniunkcyjna postać normalna
Koniunkcyjna postać normalna (ang. conjunctive normal form, CNF) danej formuły logicznej to równoważna jej formuła zapisana w postaci koniunkcji klauzul.
Nowy!!: Dysjunkcyjna postać normalna i Koniunkcyjna postać normalna · Zobacz więcej »
Literał
Literał – jednostka leksykalna reprezentująca ustalonąwartość (liczbową, tekstowąitp.) wpisanąprzez programistę bezpośrednio w danym miejscu w kod programu.
Nowy!!: Dysjunkcyjna postać normalna i Literał · Zobacz więcej »
Logika
Logika (gr. λόγος, logos – rozum, słowo, myśl) – nauka formalna o jasnym i ścisłym formułowaniu myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń.
Nowy!!: Dysjunkcyjna postać normalna i Logika · Zobacz więcej »
Negacja
Negacja (z łac. negatio), zaprzeczenie – pojęcie logiki i językoznawstwa o kilku znaczeniach.
Nowy!!: Dysjunkcyjna postać normalna i Negacja · Zobacz więcej »
Niesprzeczność
Niesprzeczność – brak sprzeczności teorii logicznej.
Nowy!!: Dysjunkcyjna postać normalna i Niesprzeczność · Zobacz więcej »
Postać normalna (matematyka)
Postać normalna – pewna szczególna postać wyrażenia, która jest w pewnym sensie "równoważna" każdemu wyrażeniu z pewnego zbioru wyrażeń.
Nowy!!: Dysjunkcyjna postać normalna i Postać normalna (matematyka) · Zobacz więcej »
Prawa De Morgana
Prawa De Morgana – zestaw reguł w logice matematycznej i teorii mnogości wiążących ze sobąpary spójników, kwantyfikatorów lub działań na zbiorach za pomocąnegacji lub funkcji dopełnienia zbioru.
Nowy!!: Dysjunkcyjna postać normalna i Prawa De Morgana · Zobacz więcej »
Problem decyzyjny (teoria obliczeń)
Problem decyzyjny – pytanie sformułowane w systemie formalnym, na które możliwe sątylko odpowiedzi tak i nie.
Nowy!!: Dysjunkcyjna postać normalna i Problem decyzyjny (teoria obliczeń) · Zobacz więcej »
Problem NP-zupełny
Problem NP-zupełny (NPC) – problem zupełny w klasie NP, ze względu na redukcje wielomianowe, to problem, który należy do klasy NP oraz dowolny problem należący do NP może być do niego zredukowany w czasie wielomianowym.
Nowy!!: Dysjunkcyjna postać normalna i Problem NP-zupełny · Zobacz więcej »
Problem spełnialności
Problem spełnialności – zagadnienie rachunku zdań, określające czy dla danej formuły logicznej istnieje takie podstawienie (wartościowanie) zmiennych zdaniowych, żeby formuła była prawdziwa.
Nowy!!: Dysjunkcyjna postać normalna i Problem spełnialności · Zobacz więcej »
Wartościowanie (logika)
W logice wartościowanie to przypisanie wartości logicznej formułom zdaniowym języka na podstawie przypisania.
Nowy!!: Dysjunkcyjna postać normalna i Wartościowanie (logika) · Zobacz więcej »
Złożoność obliczeniowa
Teoria złożoności obliczeniowej – dział teorii obliczeń, którego głównym celem jest określanie ilości zasobów potrzebnych do rozwiązania problemów obliczeniowych.
Nowy!!: Dysjunkcyjna postać normalna i Złożoność obliczeniowa · Zobacz więcej »