Pick out the compound proposition which is a taugology.
(p ^ q) `->` p
p `->` q
p ^ q `->` ~ p.
no option satisfies