Zdefiniować implikację i alternatywę za pomocą negacji i koniunkcji.
Proszę o sprawdzenie poniższego rozwiązania:
\(\displaystyle{ p \Rightarrow q \Leftrightarrow \neg (p \wedge \neg q)}\)
\(\displaystyle{ p \vee q \Leftrightarrow \neg((\neg p) \wedge (\neg q))}\)
Czy tak jest dobrze?
Zdefiniować implikację i alternatywę
-
- Administrator
- Posty: 34348
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5204 razy