Simplemente habrá que sustituir las variables por las combinaciones de 0 y 1 y operar según la anterior tabla. El proceso es lento pero infalible. No merece la pena correr.

Por ejemplo, para obtener la tabla de verdad de habría que plantear una tabla con 8 filas, de 000 a 111. Para cada una de las filas habría que proceder como para 000:

Lo rápido que cada uno quiera ir es una cuestión libre, pero sólo habrá un resultado correcto, un solo resultado lógico.