Q1. (10) Are the following statement forms logically
equivalent: $p \lor q \to p$ and $p \lor (\neg p \land q)$?
Include a truth table and a few words explaining how
the truth table supports your answer.
Truth table:
$p$ $q$
Explanation:
The statement forms ______ logically equivalent.
Since ______ as we can see in the table above.
Q2. (5) Let A = {4, 5, 7} and B = {13, 15, 17, 20}, and
define a relation R from A to B as follows:
For all $(x, y) \in A \times B$,
$(x, y) \in R \iff \frac{y}{x}$ is an integer.
Write R as a set of ordered pairs.
A. {(4, 20), (5, 15), (5, 20)}
B. {(4, 13), (4, 15), (4, 17), (4, 20)}
C. {(4, 15), (5, 20), (7, 17)}
D. {(5, 13), (5, 15), (5, 17), (5, 20)}
