ogiskt ekvivalent

FRÅGA/ Visa att uttrycken A: (p1, p2, p3) = p1 → (p2 → p3) och B: (p1, p2, p3) = (p1 ∧p2) → p3 ̈ar logiskt ekvivalenta?

jag vill veta hur kan man lösa denna typ av frågor?

jag har löst det med sanningsvärdestabell och fått rätt svar men jag vill ha ett annat sätt?

vad rekommenderar ni?

Tråd flyttad från Högskoleprov till Universitet. /Smutstvätt, moderator

Hej! Man kan välja att använda sig av Sats logik.

Just i detta fall kan lösning skrivas: $A = P \to (Q \to R) \equiv \neg P \lor (\neg Q \lor R) \equiv (\neg P \lor \neg Q) \lor R \equiv \neg (\neg \neg P \land \neg \neg Q) \lor R \equiv (P \land Q) \to R = B$

Där $P = p_{1}, Q = p_{2}, R = p_{3}$

Svara