For each of the following compound propositions give its truth table and derive an equivalent compound proposition in disjunctive normal formal (DNF) and in conjunctive normal form (CNF). (a) (p → q) → r (b) (p ∧ ¬q) ∨ (p ↔ r)

The Answer to the Question
is below this banner.

Can't find a solution anywhere?

NEED A FAST ANSWER TO ANY QUESTION OR ASSIGNMENT?

Get the Answers Now!

You will get a detailed answer to your question or assignment in the shortest time possible.

Here's the Solution to this Question

a) (p → q) → r

The truth table is presented below

DNF:

$(p\to q)\to r\iff (\lnot p\lor q)\to r \iff \lnot(\lnot p \lor q)\lor r\iff(p\land \lnot q)\lor r$

CNF:

$(p\to q)\to r\iff (\lnot p\lor q)\to r \iff \lnot(\lnot p \lor q)\lor r\iff(p\land \lnot q)\lor r \iff (r\lor p)\land (r\lor \lnot q)$

(b) (p ∧ ¬q) ∨ (p ↔ r)

The truth table is presented below

DNF:

$(p ∧ ¬q) ∨ (p ↔ r) \iff (p ∧ ¬q) ∨ (p\land r) \lor (\lnot p \land \lnot r)$

CNF:

$(p ∧ ¬q) ∨ (p ↔ r) \iff (p ∧ ¬q) ∨ (p\land r) \lor (\lnot p \land \lnot r) \iff \lnot(\lnot((p ∧ ¬q) ∨ (p\land r) \lor (\lnot p \land \lnot r)))\iff \lnot((\lnot p \lor q) \land (\lnot p \lor \lnot r) \land (p\lor r))\iff \lnot((\lnot p\lor(q\land \lnot r))\land (p\lor r))\iff \lnot(((\lnot p \lor (q\land \lnot r))\land p)\lor (\lnot p \lor (q\land \lnot r))\land r))\iff \lnot((p\land q\land \lnot r)\lor (r \land \lnot p)) = (\lnot p \lor \neg q \lor r) \land (\lnot r \lor p)$

For each of the following compound propositions give its truth table and derive an equivalent compound proposition in disjunctive normal formal (DNF) and in conjunctive normal form (CNF). (a) (p → q) → r (b) (p ∧ ¬q) ∨ (p ↔ r)

Here's the Solution to this Question

Related Answers

Was this answer helpful?

Join our Community to stay in the know

Question ID: mtid-5-stid-8-sqid-1214-qpid-952