Boolean algebra

In Mathematik und Informatik ist eine balancierte Boolesche Funktion eine Boolesche Funktion , deren Ausgabe über der Eingabemenge gleich viele Nullen wie Einsen liefert .

Die Aussagenlogik ist ein Teilgebiet der klassischen Logik . Sie wird auch als Aussagenlogik , Aussagenkalkül , Aussagenkalkül , Aussagenlogik oder manchmal als Prädikatenlogik nullter Stufe bezeichnet .

In der Informatik ist ein binäres Entscheidungsdiagramm ( BDD ) oder verzweigtes Programm eine Datenstruktur zur Darstellung einer booleschen Funktion .

Booleo (stilisiert bOOleO ) ist ein Strategie-Kartenspiel, das Boolesche Logikgatter verwendet . Es wurde 2008 von Jonathan Brandt und Chris Kampf zusammen mit Sean P.

In der Mathematik und mathematischen Logik ist die Boolesche Algebra ein Teilgebiet der Algebra . Sie unterscheidet sich in zweierlei Hinsicht von der Elementaralgebra .

In der Logik und Informatik fragt das Boolesche Erfüllbarkeitsproblem (manchmal auch Aussagenlogik-Erfüllbarkeitsproblem genannt und abgekürzt SAT oder B -SAT ) , ob eine Interpretation existiert , die eine gegebene

In der Informatik ist ein boolescher Ausdruck (auch logischer Ausdruck genannt ) ein Ausdruck in Programmiersprachen , der bei der Auswertung einen booleschen Wert liefert.

In der Informatik ist der boolesche Wert (manchmal kurz Bool ) ein Datentyp mit zwei möglichen Werten (üblicherweise true und false genannt), der die beiden Wahrheitswerte der Logik und der Booleschen Algebra

In der Mathematik ist ein Boolescher Ring R ein Ring , für den x² = x für alle x ∈ R gilt, d. h. ein Ring, der nur aus idempotenten Elementen besteht . Ein Beispiel ist der Ring der ganzen Zahlen modulo 2 .

In der Mathematik ist eine De Morgan-Algebra (benannt nach Augustus De Morgan , einem britischen Mathematiker und Logiker) eine Struktur A = (A, ∨, ∧, 0, 1, ¬), sodass:

Die DiVincenzo-Kriterien sind Bedingungen, die für den Bau eines Quantencomputers notwendig sind . Sie wurden 1996 von dem theoretischen Physiker David P.

In der Mathematik ist ein Mengenkörper eine mathematische Struktur, die aus einem Paar besteht.(X,F){\displaystyle (X,{\mathcal {F}})}bestehend aus einem SatzX{\displaystyle X}und eine FamilieF{\displaystyle {\mathcal

In der Logik ist eine Menge logischer Verknüpfungen oder Boolescher Operatoren funktional vollständig , wenn sie alle möglichen Wahrheitstabellen durch Kombination ihrer Elemente zu einem Booleschen Ausdruck darstellen

George Boole ( / buːl / BOOL ; 2. November 1815 – 8. Dezember 1864) war ein englischer Autodidakt , Mathematiker, Philosoph und Logiker , der als erster Professor für Mathematik am Queen’s College in Cork, Irland ,

In der Booleschen Logik ist die Mehrheitsfunktion (auch Medianoperator genannt) die Boolesche Funktion , die den Wert „falsch“ ergibt, wenn die Hälfte oder mehr der Argumente „falsch“ sind, und ansonsten „ wahr“, d. h.

Das UND-Gatter ist ein grundlegendes Logikgatter der digitalen Logik , das die logische Konjunktion (∧) aus der mathematischen Logik implementiert . UND-Gatter verhalten sich gemäß ihrer Wahrheitstabelle .

In der Mengenlehre ist die Vereinigung (bezeichnet mit ∪) einer Menge von Mengen die Menge aller Elemente dieser Menge.

In der Mathematik und abstrakten Algebra ist die zweielementige Boolesche Algebra diejenige Boolesche Algebra , deren zugrundeliegende Menge (oder Universum oder Träger ) B der Boolesche Definitionsbereich ist .

In der mathematischen Analysis und der Wahrscheinlichkeitstheorie ist eine σ-Algebra (Sigma-Algebra) Teil des Formalismus zur Definition messbarer Mengen .