Answer to Question #293076 in Discrete Mathematics for sanna

Question #293076

Show that (¬𝑃 ⟢ 𝑅) ∧ (𝑄 ↔ 𝑃) ⟺ (𝑃 ∨ 𝑄 ∨ 𝑅) ∧ (𝑃 ∨ ¬𝑄 ∨ 𝑅) ∧ (𝑃 ∨ ¬𝑄 ∨ ¬𝑅) ∧ (¬𝑃 ∨ 𝑄 ∨ 𝑅) ∧ (¬𝑃 ∨ 𝑄 ∨ ¬𝑅).


1
Expert's answer
2022-02-03T11:33:10-0500

It follows that


"(\u00ac\ud835\udc43 \\to \ud835\udc45) \u2227 (\ud835\udc44 \u2194 \ud835\udc43)"

"\u27fa(\\neg\\neg\ud835\udc43 \\lor \ud835\udc45) \u2227 (\ud835\udc44 \\to \ud835\udc43) \u2227 (P \\to Q)"

"\u27fa(\ud835\udc43 \\lor \ud835\udc45) \u2227 (\\neg \ud835\udc44 \\lor \ud835\udc43) \u2227 (\\neg P \\lor Q)"

"\u27fa(\ud835\udc43 \\lor F\\lor \ud835\udc45) \u2227 (\\neg \ud835\udc44 \\lor \ud835\udc43\\lor F) \u2227 (\\neg P \\lor Q\\lor F)"

"\u27fa(\ud835\udc43 \\lor (Q\\land \\neg Q)\\lor \ud835\udc45) \u2227 (\ud835\udc43\\lor\\neg \ud835\udc44 \\lor (R\\land\\neg R)) \u2227 (\\neg P \\lor Q\\lor (R\\land\\neg R))"

"\u27fa(\ud835\udc43 \\lor Q\\lor \ud835\udc45) \u2227 (\ud835\udc43 \\lor \\neg Q\\lor \ud835\udc45) \u2227(\ud835\udc43\\lor\\neg \ud835\udc44 \\lor R) \u2227(\ud835\udc43\\lor\\neg \ud835\udc44 \\lor \\neg R) \u2227 (\\neg P \\lor Q\\lor R) \u2227 (\\neg P \\lor Q\\lor \\neg R)"

"\u27fa (\ud835\udc43 \u2228 \ud835\udc44 \u2228 \ud835\udc45) \u2227 (\ud835\udc43 \u2228 \u00ac\ud835\udc44 \u2228 \ud835\udc45) \u2227 (\ud835\udc43 \u2228 \u00ac\ud835\udc44 \u2228 \u00ac\ud835\udc45) \u2227 (\u00ac\ud835\udc43 \u2228 \ud835\udc44 \u2228 \ud835\udc45) \u2227 (\u00ac\ud835\udc43 \u2228 \ud835\udc44 \u2228 \u00ac\ud835\udc45)."



Need a fast expert's response?

Submit order

and get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

Comments

No comments. Be the first!

Leave a comment

LATEST TUTORIALS
New on Blog
APPROVED BY CLIENTS