Mathematische Formeln

Algebra

Fächer Start Suche

Abschnitte

1Zahlen und algebraische Eigenschaften
2Mächte, Exponenten und Radikale
3Algebraische Ausdrücke
4Bemerkenswerte Produkte und Identitäten
5Faktorisierung
6Rationale Ausdrücke und Teilbrüche
7Gleichungen
8Ungleichheiten
9Gleichungssysteme
10Funktionen
11Polynome
12Exponentialfunktionen und Logarithmen
13Komplexe Zahlen
14Folgen, endliche Reihen und Wiederholungen
15Vektoren
16Matrizen
17Determinanten und Umkehrungen
18Vektorräume
19Lineare Abbildungen
20Eigenwerte und Diagonalisierung
21Orthogonalität und Projektionen
22Methode der kleinsten Quadrate
23Matrixzerlegungen
24Matrixnormen und Konditionierung
25Boolesche Algebra
26Modulare Arithmetik
27Algebraische Strukturen
28Lineare Codes und Fehlerkorrektur
29Beziehungskarten

Formeln suchen…

Sprache

Abschnitt wird geladen…

Mathematische Formeln · Inhalt per API · Fächer

Über uns Bewertungen Kontakt

Fächer
Algebra
Boolesche Algebra

Abschnitt 25

Boolesche Algebra

Boolesche Identitäten

grundlegendviz

A + 0 = A; A 1 = A; A + 1 = 1; A 0 = 0

Grundlegende Identitäten von ODER und UND.

Details ansehen →

Idempotenz und Komplement

grundlegendviz

A + A = A; AA = A; A + \overset{ˉ}{A} = 1; A \overset{ˉ}{A} = 0

Grundlegende boolesche Vereinfachungsregeln.

Details ansehen →

Boolesche Distributivität

grundlegendviz

A (B + C) = A B + A C; A + B C = (A + B) (A + C)

Distributive Algebra für die Logik.

Details ansehen →

De Morgans Gesetze

grundlegendviz

\overline{A + B} = \overset{ˉ}{A} \overset{ˉ}{B}; \overline{A B} = \overset{ˉ}{A} + \overset{ˉ}{B}

Transformiert Negationen von OR und AND.

Details ansehen →

grundlegendviz

A \oplus B = \overset{ˉ}{A} B + A \overset{ˉ}{B}

Es ist wahr, wenn genau ein Eintrag wahr ist.

Details ansehen →

grundlegendviz

A + A B = A; A (A + B) = A

Vereinfachen Sie redundante Ausdrücke.

Details ansehen →

Summe der Produkte

mittelviz

F = Σ m (i_{1}, \dots, i_{k})

Kanonische Form als OR von Minterms.

Details ansehen →

Produkt von Summen

mittelviz

F = Π M (i_{1}, \dots, i_{k})

Kanonische Form als AND von maxterms.

Details ansehen →

Boolesche Äquivalenz

mittelviz

F \equiv G ⟺ F y G tienen la misma tabla de verdad

Kriterium zur Überprüfung logischer Vereinfachungen.

Details ansehen →