Section 25

Algèbre booléenne

fondamentalviz

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

Identités de base de OR et AND.

fondamentalviz

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

Règles essentielles de simplification booléenne.

fondamentalviz

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

Algèbre distributive pour la logique.

fondamentalviz

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

Transforme les négations de OR et AND.

fondamentalviz

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

C'est vrai lorsqu'exactement une entrée est vraie.

fondamentalviz

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

Simplifiez les expressions redondantes.

intermédiaireviz

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

Forme canonique comme OU des minterms.

intermédiaireviz

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

Forme canonique comme AND de maxterms.

intermédiaireviz

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

Critère pour vérifier les simplifications logiques.