sistemas de numeracio y algebra de boole ap1 | Page 13

10
Sistemas Digitales
Ejemplo A1.4. Visualización de teoremas mediante diagramas de Venn.
Visualización del teorema del consenso.
T.13:
ab a c bc
ab a c
La Figura A1.3. ilustra los dos términos del lado derecho del teorema.
a
b
a
c
ab
b
c
a’c
Figura A1.3. Consenso entre partes.
La parte izquierda de la Figura A1.4 muestra el término de consenso bc.
La parte derecha de la Figura A1.4 muestra la suma lógica de ab+a’c, en la cual se puede
advertir que el término bc queda incluido. Una parte de bc está en ab; la otra parte de bc está en
a’c.
a
bc
b
c
a
ab + a’c
b
c
Figura A1.4. Término de consenso
Se puede decir que bc está incluido en ab+a’c; y también que bc es un término denominado
consenso entre ab y a’c.
A1.7. Implicación material o condicional.
La expresión: p
q, se lee: Si p entonces q.
(If p then q).
Con p el antecedente y q el consecuente, se tiene:
Profesor Leopoldo Silva Bijit
03-04-2010