Problem

(a) Build truth tables for p ∨ (q ∧ r) and (p ∨ q) ∧ (p ∨ r). Decide whether i...

(a) Build truth tables for

p ∨ (q r) and (p q) ∧ (p r).

Decide whether it can be said that “OR distributes over AND.” Explain.

(b) Build truth tables for

p ∧ (q r) and (p q) ∨ (p r).

Decide whether it can be said that “AND distributes over OR.” Explain.

(c) Describe how the logical equivalences developed in parts (a) and (b) are related to the set-theoretical equations

X ∪ (Y Z) = (X Y) ∩ (X Z)

and

X ∩ (Y Z) = (X Y) ∪(X Z).

Step-by-Step Solution

Request Professional Solution

Request Solution!

We need at least 10 more requests to produce the solution.

0 / 10 have requested this problem solution

The more requests, the faster the answer.

Request! (Login Required)


All students who have requested the solution will be notified once they are available.
Add your Solution
Textbook Solutions and Answers Search