Compañeros quisiera ver si alguien de ustedes sabe de algún programa para trabajar sentencias logicas, proposiciones, reglas de inferencias, mous Tollens ponens, tablas de verdad etc, con código abierto en Visual Basic 6 ó en vb.net.
Gracias compañeros, me super urge esto.