Visual Basic - un programa interesante

En la universiadad me manadaron a efectuar el siguiente proyecto: Relice un programa que dada una expresion proposicional entregue la tabla de verdad.
Y realice un programa, que dado el conjunto referencial finito y dada la relacion, diga que propiedad cumple.
Estos deben hacerse en cualquier lenguaje pero son muy complicados por eso, les pido ayuda, cualquier comentario o idea por favor mandenla

Lo tendrías que resolver primero algorítmicamente y luego recién pasarlo a cualquier lenguaje, ¿no te dieron ninguna herramienta o conocimiento como para qué los puedas resolver? porque son demasiado amplios los enunciados.