Pomocy logika !!!

[Iza2511]

Hej czy ktoś może mi pomóc w tym zadaniu kompletnie nie wiem jak mam się zabrać do tego dla mnie logika to czarna magia.
Bede bardzo wdzięczna za pomoc.

Zbadaj dowolną metodą, w którym wypadku zachodzi wynikanie logiczne:
1. \((p \So q) \So (q \So p)\)
2.\( (p \So q) \So (q \So \sim p) \)
3. [\((p \So q) \wedge p] \So q \)
4.\( [(p \So q) \wedge q] \So p \)
5. \([(p \So q) \wedge \sim p] \So \sim q\)
6.\( [(p \wedge \sim q] \So p \So q)\)

[eresh]

1. (p→q) →(q→p)

\(\begin{array}{|c|c|c|c|c|}
p&q&p \So q&q\So p&(p\So q)\So (q\So p)\\
0&0&1&1&1\\
1&0&0&1&1\\
0&1&1&0&0\\
1&1&1&1&1
\end{array}\)
zdanie jest fałszywe

[eresh]

2. (p→q) →(~q→~p)

\(\begin{array}{|c|c|c|c|c|}
p&q&p \So q&~q\So ~p&(p\So q)\So (~q\So ~p)\\
0&0&1&1&1\\
1&0&0&0&1\\
0&1&1&1&1\\
1&1&1&1&1
\end{array}\)
tautologia

[eresh]

3. \([(p\So q) \wedge p] \So q
\)

\(\begin{array}{|c|c|c|c|c|}
p&q&p \So q&(p \So q) \wedge p&((p \So q) \wedge p)\So q\\
0&0&1&0&1\\
1&0&0&0&1\\
0&1&1&0&1\\
1&1&1&1&1
\end{array}\)
prawda

[eresh]

4. \([(p\So q) \wedge q]\So p \)

\(\begin{array}{|c|c|c|c|c|}
p&q&p \So q&(p \So q) \wedge q&((p \So q) \wedge q)\So p\\
0&0&1&0&1\\
1&0&0&0&1\\
0&1&1&1&0\\
1&1&1&1&1
\end{array}\)

[eresh]

5. \([(p\So q) \wedge \sim p]\So \sim q\)

\(\begin{array}{|c|c|c|c|c|}
p&q&p \So q&(p \So q) \wedge \sim p&((p \So q) \wedge \sim p)\So \sim q\\
0&0&1&1&1\\
1&0&0&0&1\\
0&1&1&1&0\\
1&1&1&0&1
\end{array}\)
fałsz

[Iza2511]

Dzięki wielkie