logika

[Doniczus]

trzeba sprowadzic ten przyklad do apn
\((p \Rightarrow q) \Leftrightarrow (~p \Rightarrow q)\)
doszlam do tego i nie wiem jak dalej
\(((p \vee ~q) \vee (~p \vee q)) \wedge ((~p \vee q) \vee (p \vee ~q))\)

zadne prawo rozdzielnosci koniunkcji wzgledem alternatywy mi nei pasuje ;/

[octahedron]

W obu nawiasach jest to samo, czy to nie pomyłka?

[Doniczus]

nie wyswietla znaku negacji ma byc
\((p \Rightarrow q) \Leftrightarrow (-p \Rightarrow -q)\)
\(((p \vee ~-q) \vee (~-p \vee q)) \wedge ((~-p \vee q) \vee (p \vee ~-q))\)
- to negacja

[octahedron]

Ja znam sposób z tabeą Karnaugh:
\((p \Rightarrow q) \Leftrightarrow (\neg p \Rightarrow \neg q)
\begin{array}{c|c|c}p\setminus q&0&1\\\hline 0&1&0\\1&0&1\end{array}\quad = (\neg p\wedge\neg q)\vee(p\wedge q)=(\neg p\vee q)\wedge(p\vee\neg q)\)