Teoremas, Postulados y leyes de Bool.

LEYES DE TAUTOLOGIA ------(T1)

1. A * A = A
2. A + A = A
3. A + 1 = 1 ------(T2)
4. A * 1 = 1 ------(T2)

LEY DE LA COMPLEMENTACION DOBLE ------(T3)

1. (A’)’ = A

LEYES ASOCIATIVAS ------(T4)

1. A * (B * C) = (A * B) * C
2. A + (B + C) = (A + B) + C

Leyes De Morgan ------(T5)

1. (A * B)’ = A’ + B’
2. (A + B)’ = A’ * B’

LEYES DE ABSORCION ------(T6)

1. A * (A + B) = A
2. A + A * B = A

Operaciones con 0 y 1 (P2)

1. A + 1 = 1
2. A * 1 = A ------(P2)
3. A + 0 = A ------(P2)
4. A * 0 = 0
5. 0’ = 1
6. 1’ = 0

LEYES CONMUTATIVAS ------(P3)

1. A * B = B *A
2. A + B = B + A

LEYES DISTRIBUTIVAS ------(P4)

1. A * (B + C) = A * B + A * C
2. A + B * C = (A + B) * (A + C)

LEYES DE COMPLEMENTACION ------(P5 )

1. A * A’ = 0
2. A + A’ = 1

REPITIENDO

LEYES DE TAUTOLOGIA ------(T1)

1. A * A = A
2. A + A = A
3. A + 1 = 1 ------(T2)
4. A * 1 = 1 ------(T2)

LEY DE LA COMPLEMENTACION DOBLE ------(T3)

1. (A’)’ = A

LEYES ASOCIATIVAS ------(T4)

1. A * (B * C) = (A * B) * C
2. A + (B + C) = (A + B) + C

Leyes De Morgan ------(T5)

1. (A * B)’ = A’ + B’
2. (A + B)’ = A’ * B’

LEYES DE ABSORCION ------(T6)

1. A * (A + B) = A
2. A + A * B = A

Operaciones con 0 y 1 (P2)

1. A + 1 = 1
2. A * 1 = A ------(P2)
3. A + 0 = A ------(P2)
4. A * 0 = 0
5. 0’ = 1
6. 1’ = 0

LEYES CONMUTATIVAS ------(P3)

1. A * B = B *A
2. A + B = B + A

LEYES DISTRIBUTIVAS ------(P4)

1. A * (B + C) = A * B + A * C
2. A + B * C = (A + B) * (A + C)

LEYES DE COMPLEMENTACION ------(P5 )

1. A * A’ = 0
2. A + A’ = 1

...