domingo, 9 de septiembre de 2012

Lógica Predicativa



Se selecciono  un ejercicio del libro  Lean Symbolic Logic de Lewis Carroll
Los enunciados  son los siguientes:



Texto 
Bores are dreaded;
No bore is ever begged to prolong his visit.
    No one, who is dreaded, is ever begged to prolong his visit.



El Universo son las personas. las siguientes expresiones donde la x es una variable que tendra valores en un cuantificador.

A(x): Bores
B(X):Dreaded
C(X):Begged to prolong his visits

Cuantores:
: Cuantificador Universal Todos, para todos
: Cuantificador Existencial Por lo menos uno, algunos, algunas

Se sustituira los enunciados con cuantores lógicos y usando las expresiones.
  • Bores are dreaded = A(x)→B(x)
  • No bore is ever begged to prolong his visit .=¬A(x)→C(x)
  • No one, who is dreaded, is ever begged to prolong his visit. =: ¬B(x)→C(x)


Conclusion:
Some  dreaded  persons are not begged to prolong their visits.


∃(x)B(x)¬C(x)



martes, 4 de septiembre de 2012

BDD

Para la Tarea 4 se pidió lo siguiente:
  • Inventen una expresión Booleana.
  • Construyan y dibujen su BDD.
  • Reduzcan el BDD resultante a un ROBDD.
  • Dibujen el ROBDD resultante.


La expresión booleana que uso es la siguiente:


¬(a ^¬ b) => ¬ c


Tabla de verdad

Binary decision tree

[Binary decision tree]

BDD Y ROBDD
BDD
ROBD



Referencias:
http://www.cs.unb.ca/~gdueck/courses/cs4835/bdd97.pdf