13 vztahy: De Morganovy zákony, Disjunkce, Distributivita, Ekvivalence (logika), Konjunkce (logika), Konjunkce (matematika), Konjunktivní normální forma, Logická operace, Logika, Matematická indukce, Negace, Výroková logika, Výroková proměnná.
De Morganovy zákony
De Morganovy zákony určují vztah mezi sjednocením, průnikem a doplňkem množiny a další se zabývají matematickou logikou.
Nový!!: Disjunktivní normální forma a De Morganovy zákony · Vidět víc »
Disjunkce
Disjunkce znamená odloučení, rozdělení, odloučené oblasti, sloučení oblastí, logický součet výroků, množinových prvků zařazených do jedné skupiny celku.
Nový!!: Disjunktivní normální forma a Disjunkce · Vidět víc »
Distributivita
Distributivita je v matematice, zejména v algebře, vlastnost binární operace vůči jiné binární operaci, říkající, že můžeme tuto operaci distribuovat přes jinou operaci.
Nový!!: Disjunktivní normální forma a Distributivita · Vidět víc »
Ekvivalence (logika)
Název ekvivalence je v logice používán pro binární logický operátor značený symbolem ⇔ (\Leftrightarrow \,\!). Významově odpovídá tento operátor větné konstrukci „právě tehdy, když“ (zastarale „tehdy a pouze tehdy, když“ a „tehdy a jen tehdy, když“) (anglicky if and only if, zkráceně iff) — ekvivalence tedy říká, že spojovaná tvrzení platí pouze zároveň (obě ano, nebo obě ne).
Nový!!: Disjunktivní normální forma a Ekvivalence (logika) · Vidět víc »
Konjunkce (logika)
Průnik dvou množin je definovaný pomocí konjunkce: x \in \left (A \cap B \right) \equiv \left (x \in A \right) \land \left (x \in B \right) Logická konjunkce (používají se pro ni symboly AND, & nebo \wedge) je binární logická operace, jejíž hodnota je pravda, právě když obě vstupní hodnoty jsou pravda.
Nový!!: Disjunktivní normální forma a Konjunkce (logika) · Vidět víc »
Konjunkce (matematika)
#PŘESMĚRUJ Konjunkce (logika).
Nový!!: Disjunktivní normální forma a Konjunkce (matematika) · Vidět víc »
Konjunktivní normální forma
Ve výrokové logice je formule v konjunktivní normální formě (KNF nebo CNF z anglického conjunctive normal form), pokud je ve tvaru konjunkcí klauzulí, kde klauzuli definujeme jako disjunkci literálů (a je-li x výroková proměnná, tak jí určené literály jsou právě x a \neg x).
Nový!!: Disjunktivní normální forma a Konjunktivní normální forma · Vidět víc »
Logická operace
Logická operace je v matematice taková operace s výroky, jejímž výsledkem je opět výrok, jehož pravdivostní hodnota (PRAVDA nebo NEPRAVDA) závisí na pravdivosti výroků a druhu operace.
Nový!!: Disjunktivní normální forma a Logická operace · Vidět víc »
Logika
Logika má více významů – v češtině se běžně používá ve smyslu myšlenková cesta, která vedla k daným závěrům.
Nový!!: Disjunktivní normální forma a Logika · Vidět víc »
Matematická indukce
Matematická indukce je metoda dokazování matematických vět a tvrzení, která se používá, pokud chceme ukázat, že dané tvrzení platí pro všechna přirozená čísla, případně jinou, předem danou nekonečnou posloupnost.
Nový!!: Disjunktivní normální forma a Matematická indukce · Vidět víc »
Negace
Logická negace (používá se pro ni symbol \neg nebo \mathrm, popř. se označuje pruhem nad proměnnou) je unární logická operace, která vezme výrok "p" do dalšího výroku "ne p", psáno ¬p, který je samostatně interpretován jako pravda, když p je nepravda nebo jako nepravda, když p je pravda.
Nový!!: Disjunktivní normální forma a Negace · Vidět víc »
Výroková logika
V matematice a logice se pojmem výroková logika označuje formální odvozovací systém, ve kterém atomické formule tvoří výrokové proměnné (na rozdíl od predikátové logiky).
Nový!!: Disjunktivní normální forma a Výroková logika · Vidět víc »
Výroková proměnná
V matematické logice je výroková proměnná taková proměnná, která může nabývat hodnot pravda anebo nepravda.
Nový!!: Disjunktivní normální forma a Výroková proměnná · Vidět víc »