Truth tables and logic
1. Construct a truth table for p → ~q 2. Construct a truth table for (~p V q) ↔ q 3. Let p represent the statement, "Jim plays football", and let q represent "Michael plays basketball". Convert the compound statements into symbols. It is not the case that Jim does not play football or Michael does not play bask