Generador de tablas de verdad

Tablas de verdad

Negacioón: Consiste en cambiar el valor de verdad de una variable proposicional.

Conjunción: La proposición molecular será verdadera sólo cuando ambas variables proposicionales sean verdaderas.
Disyunción: La proposición molecular será verdadera cuando una o ambas variables proposicionales sean verdaderas.
Condicional: La proposición molecular será verdadera cuando se cumpla si es verdadero A entonces lo es B.
Bicondicional: La proposición molecular será verdadera cuando ambas variables proposicionales tengan a la vez el mismo valor de verdad.

Disyunción exclusiva: La proposición molecular será verdadera sólo cuando una de las dos variables proposicionales sea verdadera, pero no las dos. 
Codigo completo: CODIGO JAVA
pseudo-codigo para generar tabla:

    n = numero de variables de la tabla

        n

      2   = values

    1.- Generar un clico para evaluar las potencias

    2.- Limitacion del ciclo en n de 0 < n o 1 <= n

    3.- Cada incremento del paso anterior dividir a la mitad values

    values = values / 2

    4.- Generar 1 y 0 y rellenar el arreglo de n variables