is anyone familiar with the Maple 16 software? This is part of a project involving truth tables and i am stuck on, it's not giving me the answers that i need.

so the question is:
Determine if the argument ((p -> ~q)^(p -> r))^(q -> r) => (p^q) is a tautology and thus valid.

what i have typed into maple program for the commands

>with Logic):
>Tautology ((p &implies (&not q)) &and (p &implies r) &and ((q &implies r) &implies (p &and q));

with this command typed in it is not giving me the "true or false" statement.