[eclipse-users] Newbie: P ==> ( Q /\ R) and ( P ==> Q ) /\ ( Q ==> R )

Hello,

In "Logical Reasoning: A First Course", there is an exercise in which you are
supposed to test whether P ==> ( Q /\ R) is equivalent to ( P ==> Q ) /\ ( Q ==>
R )

I have manually computed the truth table and would like to check my results with
a computer.

Is there a way to check such an equivalence in ECLiPSe or is Prolog not suited
for such boolean operations?

Many thanks.

phiroc