Logo
Unioonpeedia
Side
Hankige see Google Play
Uus! Lae Unioonpeedia oma Android ™!
Installi
Kiiremini kui brauser!
 

De Morgani seadused

Index De Morgani seadused

De Morgani seadused on Boole'i algebras ja lausearvutuses kasutusel olevat kaks põhisamaväärsust.

4 suhted: Boole'i algebra, Disjunktsioon, Konjunktsioon, Lauseloogika.

Boole'i algebra

Boole'i algebra on hulk koos sellel defineeritud kahe kommutatiivse, assiotsiatiivse, teineteise suhtes distributiivse ja neelduva binaarse algebralise tehtega, mida nimetatakse konjunktsiooniks (tähis ∧) ning disjunktsiooniks (tähis ∨), ja involutsioon, mis kannab nime eitus või täiend (tähis ¬).

Uus!!: De Morgani seadused ja Boole'i algebra · Näe rohkem »

Disjunktsioon

Tehte \scriptstyle A \lor B Venni diagramm Tehte \scriptstyle A \lor B \lor C Venni diagrammDisjunktsioon ehk loogiline liitmine on binaarne loogikatehe: lausete A ja B disjunktsioon A\veeB loetakse vääraks parajasti siis, kui laused A ja B on mõlemad väärad ning tõeseks kõigil muudel juhtudel.

Uus!!: De Morgani seadused ja Disjunktsioon · Näe rohkem »

Konjunktsioon

Konjunktsioon ehk loogiline korrutamine ehk "ning" on üks binaarne loogikatehe lauseloogikat sisaldavates sümbolloogika süsteemides.

Uus!!: De Morgani seadused ja Konjunktsioon · Näe rohkem »

Lauseloogika

Lauseloogika ehk lausearvutus on loogika valdkond, mis uurib tõefunktsionaalseid tehteid propositsioonidega (loogikatehteid).

Uus!!: De Morgani seadused ja Lauseloogika · Näe rohkem »

VäljuvSaabuva
Hei! Oleme Facebookis nüüd! »