Academia DHP
Uso de Árboles paraEvaluar Expresiones Lógicas
Dr. José Enrique Alvarez [email protected]
Versión 1.0 10/10/11
~ A ^ B v A ^ ~ B
~ A ^ B v A ^ ~ B
Una Expresión
Lógica
~ A ^ B v A ^ ~ B
~
^
~
^
v
Puedeevaluars
emediant
eun árbol
Pero... ¿Cómo?
~ A ^ B v A ^ ~ B
Recorremosla expresiónde izquierdaa derecha
~ A ^ B v A ^ ~ B
La negaciónprimero
~
~ A ^ B v A ^ ~ B
~
A ^ B v A ^ ~ B
~
A ^ B v A ^ ~ B
La otranegació
ndespués
~
A ^ B v A ^ ~ B
~
~
A ^ B v A ^ B
~
~
A ^ B v A ^ B
~
Luegola
conjunción“Y”
~
^
A ^ B v A ^ B
~
~
^
A B v A ^ B
~
~
^
A B v A ^ B
~
Despues laotra
conjunción“Y”
~
^
A B v A ^ B
~
^
~
^
A B v A B
~
^
~
^
A B v A B
~
^La
disyunción“O” al último
~
^
A B v A B
~
^
v
~
^
A B A B
~
^
v
~
^
A B A B
~
^
v ¡Árboltermina
do!
~
^
A B A B
~
^
v
Ahora...¡ a evaluarlo !
~
^
A B A B
~
^
v el Arbol...
~
^
A B A B
~
^
vA B R
...y su Tabla
de
Verdad
~
^
A B A B
~
^
vA B R
F
F F
~
^
A B A B
~
^
vA B R
F
F F
F
F F
~
^
A B A B
~
^
vA B R
F
F F
F
F F
~
^
A B A B
~
^
vA B R
F
F F
F
F F
?
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V ?
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V V
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V V
?
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V V
F
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V V
F ?
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V V
F F
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V V
F F
?
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V V
F F
F
~
^
A B A B
~
^
vA B R
F
F F
F
F F
V V
F F
F
F
~
^
A B A B
~
^
vA B R
F
F F
FF
F
~
^
A B A B
~
^
vA B R
F
F F
F
V V
F
F V
~
^
A B A B
~
^
vA B R
F
F F
F
V V
?
F
F V
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V
F
F V
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V ?
F
F V
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V F
F
F V
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V F
?
F
F V
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V F
V
F
F V
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V F
V ?
F
F V
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V F
V F
F
F V
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V F
V F
?
F
F V
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V F
V F
V
F
F V
~
^
A B A B
~
^
vA B R
F
F F
F
V V
V F
V F
V
F
F V V
~
^
A B A B
~
^
vA B R
F
V V
FF
F VV
V
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F
F V V
V F
~
^
A B A B
~
^
vA B R
F
V V
F
F F
?
F
F V V
V F
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F
F
F V V
V F
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F ?
F
F V V
V F
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F V
F
F V V
V F
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F V
?
F
F V V
V F
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F V
F
F
F V V
V F
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F V
F ?
F
F V V
V F
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F V
F V
F
F V V
V F
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F V
F V
?
F
F V V
V F
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F V
F V
V
F
F V V
V F
~
^
A B A B
~
^
vA B R
F
V V
F
F F
F V
F V
V
F
F V V
V F V
~
^
A B A B
~
^
vA B R
F
V V
FF
F VV
V VF
V
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F
F V V
V F V
V V
~
^
A B A B
~
^
vA B R
F
V V
F
V V
?
F
F V V
V F V
V V
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F
F
F V V
V F V
V V
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F ?
F
F V V
V F V
V V
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F F
F
F V V
V F V
V V
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F F
?
F
F V V
V F V
V V
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F F
F
F
F V V
V F V
V V
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F F
F ?
F
F V V
V F V
V V
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F F
F F
F
F V V
V F V
V V
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F F
F F
?
F
F V V
V F V
V V
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F F
F F
F
F
F V V
V F V
V V
~
^
A B A B
~
^
vA B R
F
V V
F
V V
F F
F F
F
F
F V V
V F V
V V V
~
^
A B A B
~
^
vA B R
F F F
F V V
V F V
V V V
¡TERMINADO!