Ahhh! Lo entendí, o sea que la única forma de resolverlo es pasando los valores a binario, y de ahí hago todo!
Perfecto
Entendí, muy buena la explicación. Se agradece bastante.
Para el resto que pedía con X  Y:
Aquí les va 1.
Sean A,B y C variables númericas y X e Y variables lógicas. Los valores de las mismas, en un instante dado, son:
A:4  B: -3 C:1   X: Verdadero (1) Y: Falso (0)
Calcular el valor de verdad de los siguientes predicados.


a) (A>3 OR Y )
        (Y OR Y)
              Y

b) (C=1 XOR A<B)
      X    XOR  Y
             X

c) (A>3 OR Y) AND (C=1 XOR A<B)
      (X   OR  Y) AND (X XOR Y)
            X        AND  X
                       X

d) (A>5 XOR B>10)
      Y     XOR Y
             Y

e) NOT (X) AND (A>5 XOR B>10)
       Y        AND (Y XOR Y)
         Y       AND Y
                   Y

f) NOT (NOT(X) AND (A>5 XOR B>10))    
            NOT   (Y   AND (Y    XOR Y))
             NOT   (Y AND (       Y       )
             NOT  (Y)
                X


Si en alguno me equivoqué, agradezco la correxión.

Muchas gracias Under.

P.D: Edu, te entretiene bastante hacer esto, hay algunos mas complicados.
Deberías probar.

De nada una cosa podrías cambiar el título para que sea más accesible cuando se utilice un buscador tanto interno como externo (google,yahoo,etc)

Saludos

http://www.unlu.edu.ar/~introinf/biblioteca/TP_Modulo2.odt

La verdad que no sé en qué se usa. Sólo eran ejercicios dados en un trabajo práctico para entregar.