discussion-3-86

construct a truth table for the statement

(p <–> q) –>p