preparando implementacion de truth maintenance
avances truth maintenance