Question

demuestra que ((P>Q)^(~P>Q))-ES UNA TAUTOLOGIA

Answer 1

P  Q  ~P    (P>Q)      (~P>Q)    (P>Q)^(~P>Q)     
1   1     0        1               1                    1
1    0    0        0                1                   0
0    1    1        1                1                  1
0    0    1        1                0                   0

En realidad este símbolo > no está en las tablas, pero me imagino que te refieres a la condicional
NO ES TAUTOLOGÍA

Saludos :D