Question: Tautologies

Can Maple be used to see if propositional logic sentences with arbitary propositional constants are tautologies ? i.e. (if they are always true under every possible interpretation or arrangement of the truth values true and false).
Please Wait...