tautology,quantifier

(p1 p2 … pn) p1 p2 … pn) trivial tautology/contradiction
chapter1.3-propositional_logic2(tautology and implication)ppt
it is based on the following tautology:((p) 84 (q)) 81 (p
uva11108 tautology
预订 the redundancy of tautology