Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Formula Compleja Posfijo
Formula Compleja Posfijo
POSFIJO EVALUAR
ALEATORIO (GSAT)
EJEMPLO 1: S = [ (P,-Q), (-P,Q), (Q,-R), (-Q,-R)] SP=[(Q), (Q,-R), (-Q,-R)] S-P=[(-Q), (Q,-R), (-Q,-R)] SP,Q=[(-R)] SP,G,R=[ ( )] SP,Q,-R=[ ]
CONSISTENTE P , R
EJEMPLO 3]: S = [ (P, Q, -R), (P, -Q), (-P), (R) ,(U)] SP= [( ), (R),(U)] S-P= [ ( Q, -R), (P, -Q), (-P), (R) ,(U)]
LA FORMULA INSATISFACTIBLE
ES
RESOLVER
ELIMINAR TAUTOLOGIAS
REGLAS DE BITURCACION
F
V
SATISFACTIBLE O INSATISFACTIBLE
NO SI
FIN