Tietoja | saksa sana BOOLESCHE

Esimerkkejä BOOLESCHE käyttämisestä lauseessa

• In der Mathematik ist eine boolesche Algebra (oder ein boolescher Verband) eine spezielle algebraische Struktur, die die Eigenschaften der logischen Operatoren UND (Konjunktion), ODER (Disjunktion), NICHT (Negation) sowie die Eigenschaften der mengentheoretischen Verknüpfungen Durchschnitt, Vereinigung, Komplement verallgemeinert.
• Er ist vor allem dadurch bekannt, dass die für die Computertechnik grundlegende boolesche Algebra nach ihm benannt wurde.
• bei der Programmierung der boolesche Datentyp zur Darstellung der logischen Wahrheitswerte wahr und falsch.
• Jede Formel der Aussagenlogik lässt sich in konjunktive Normalform umwandeln, da sich auch jede boolesche Funktion mit einer KNF darstellen lässt.
• Der Sheffersche Strich ist nach Henry Maurice Sheffer benannt, der eine Menge von fünf unabhängigen Axiomen für boolesche Algebren angab, die von nur einem Junktor Gebrauch machen.
• Aus der Definition der Semantik für quantifizierte boolesche Formeln lässt sich ein einfacher rekursiver Algorithmus ableiten, der das Erfüllbarkeitsproblem für quantifizierte boolesche Formeln in pränexer Normalform löst: Bei Eingabe einer Formel der Form.
• In der Sprache gibt es nur finite Datentypen, also boolesche Variablen, skalare Variablen und feste Arrays.
• Eine boolesche Algebra ist genau dann vollständig (das heißt, jede beschränkte Menge besitzt ein Supremum und ein Infimum), wenn der zugehörige boolesche Raum extremal unzusammenhängend ist.

Sivun valmistelu kesti: 396,59 ms.