Strona 1 z 1
wykaż, że wyrażenie jest prawem rachunku zdań
: 9 wrz 2007, o 15:28
autor: loel
witam,
(p^q)vr (pvr)^(qvr)
jak udowodnić to za pomocą tabelki? Gdyby były dwie zmienne to ok, ale 3? nie mam pojęcia jak się za to zabrać.
wykaż, że wyrażenie jest prawem rachunku zdań
: 10 wrz 2007, o 09:50
autor: scyth
Jeśli musi być tabelką...
\(\displaystyle{ \begin{tabular}{c|c|c|l|c|c|l|c|c|c|l|c}
p & q & r & & p q & $\overbrace{(p q) r}^A & &
p r & q r & $\overbrace{(p r) (q r)}^B & & A B \\ \hline
0 & 0 & 0 & & 0 & 0 & & 0 & 0 & 0 & & 1 \\
0 & 0 & 1 & & 0 & 1 & & 1 & 1 & 1 & & 1 \\
0 & 1 & 0 & & 0 & 0 & & 0 & 1 & 0 & & 1 \\
1 & 0 & 0 & & 0 & 0 & & 1 & 0 & 0 & & 1 \\
0 & 1 & 1 & & 0 & 1 & & 1 & 1 & 1 & & 1 \\
1 & 0 & 1 & & 0 & 1 & & 1 & 1 & 1 & & 1 \\
1 & 1 & 0 & & 1 & 1 & & 1 & 1 & 1 & & 1 \\
1 & 1 & 1 & & 1 & 1 & & 1 & 1 & 1 & & 1 \\
\end{tabular}}\)
Czyli po prostu rozważasz wszystkie osiem przypadków.