Matematyka.pl

Witam mam problem z pracą domową proszę o udowodnienie ze jest to prawo logiczne w tabelce

a) [~(p/~q)](~p/q)
b)[~(pq)][~(pVq)/(qVp)]

Zrobię przykład a - mam nadzieję, że na jego podstawie z b już sobie poradzisz. Jeśli nie jesteś pewien - rozpisuj sobie krok po kroku każdą operację:
\(\displaystyle{ \begin{array}{|c|c||c|c|c||c|c|}
p&q & p & q & p q & (p\wedge\neg q) & p\wedge q\\ \hline
0 & 0 & 1 & 1 & 0 & 1 & 0 \\
0 & 1 & 1 & 0 & 1 & 0 & 1 \\
1 & 0 & 0 & 1 & 1 & 0 & 1 \\
1 & 1 & 0 & 0 & 0 & 1 & 0 \\
\end{array}}\)
Z tabelki widać, że podane wyrażenia nigdy nie są równoważne (dwie ostatnie kolumny się różnią)
Byłoby to prawdą dla: \(\displaystyle{ [\neg (p\wedge\neg q)] [\neg (\neg p\wedge q)]}\)

gdy masz 2 nieprawdy w koniunkcji p^(~q) gdy p=0 i q=0 to jest zdanie fałszywe. !!