En mi opinión lo que tienes que hacer es evaluar dichas expresiones como si de un if cualquiera se tratase.
Por ejemplo:
Suponiendo A=3, B=15, C=4, D=0
(A> B)&& (B> C)&& (C <A) => (3>15)&&(15>4)&&(5<3) => F ^ T ^ T => Falso
Tú ponías "A¬=3", no sé cómo puedo interpretar eso ¿A no es 3? sabiendo únicamente eso no podemos evaluar la mayoría de las expresiones correctamente, pongo el ejemplo de la de arriba:
(A> B)&& (B> C)&& (C <A) => (!3>15)&&(15>4)&&(5<3) => X ^ T ^ T => Pues depende, ¿"!3" qué es? ¿1? ¿570?
En el caso de que A sea mayor que 15 la expresión será verdadera, en el caso de que sea menor o igual, será falsa, quizá la respuesta sería:
(A> B)&& (B> C)&& (C <A) =>
A>15 == T --> (A> B)&& (B> C)&& (C <A) == T
A>15 == F --> (A> B)&& (B> C)&& (C <A) == F