Question

How do you show the following propositions are logically equivalent?

(a) [(p → q) → r] ⊕ (p ∧ q ∧ r) and (p ∨ r) ⊕ (p ∧ q)

(b) ¬∃x {P(x) → ∃y [Q(x, y) ⊕ R(x, y)] } and (∀x P(x)) ∧ [∀x ∀y(Q(x, y) ↔ R(x, y))]

(c) Does [(p → q) ∧ (q → r)] → r implies (p → r) → r?

Answer 1

aflate sul cong sow and Larm@spres. اهم ملهمهمهمههمه وجودملامحهممههمو دنوموتمققه IIE oHAA 도도도시의 mm III II I I TIE Itf TT I FTE I EFET FITTI TEI EEE E ETI T A If I LEEF Since the truth table of (7Q)+we ☺ Lpaqam and_cpro epaqlare same. se top+g794) (pagnol Sterou epaqz b w Ir $P(8) + 34 Epoxys Q Rcxoysių _ We finow that PURE NAVQ wix & POLO VESY [pixyl Rfxy) 1% -His nefuper å v çay' [Quaylon se rydzą t By demorgan's law ] + $ Ptx) A v a tº Ku€ RYugº tes per a my cocxyl Resuyu e [n Cocaylferlay) je Qinyle R1 mily] » Nix seva fie tycooxy Božys I

(၅, NJ x { P(x) y Epley, Rixy) 1} = (the ple) a Every carry) Rlzy))] ودلورده مودمع We know that fog لته بلده لوحهعملهمامه عيعط عسهععه بعد توده و درود م هلهمفرد[عدها لهيملل Hense en pool I Hybrothetical Sylloglama }