rachunek zdań

[luki9931]

Czy istnieją takie tautologie rachunku zdań:
\(p \wedge (\sim q \vee r) \Leftrightarrow (p \wedge \sim q) \vee (p \wedge r)

(p \wedge \sim q) \vee r \Leftrightarrow [(p \vee r) \wedge \sim q] \vee (q \wedge r)

p \vee (q \wedge \sim r) \Leftrightarrow [(p \vee q) \wedge \sim r] \vee (p \wedge r)

p \wedge (\sim q \wedge \sim r) \Leftrightarrow (p \wedge \sim q) \wedge \sim r

(p \wedge \sim q) \wedge (r \wedge \sim s) \Leftrightarrow (p \wedge r) \wedge (\sim q \wedge \sim s)

p \wedge [\sim q \vee (r \wedge \sim s)] \Leftrightarrow (p \wedge \sim q) \vee [(p \wedge r) \wedge \sim s]\)

[Pol]

co w tym trudnego? tabelka z każdą kombinacją 0 1 i sprawdzasz