Mam prośbę o pomoc w rozwiązaniu poniższego przykładu.
Zad. Następujące zadanie zapisać przy pomocy kreski Sheffera (binegacji)
\(\displaystyle{ [(\sim p \Rightarrow r) \wedge q] \Rightarrow (r \vee \sim q)}\)
Logika zadanie kreska Sheffera (binegacja)
-
- Użytkownik
- Posty: 1
- Rejestracja: 3 lis 2021, o 10:28
- Płeć: Mężczyzna
- wiek: 50
- Lokalizacja: Pomorze
Logika zadanie kreska Sheffera (binegacja)
Ostatnio zmieniony 3 lis 2021, o 11:37 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Brak LaTeXa - proszę zapoznać się z instrukcją: https://matematyka.pl/latex.htm.
Powód: Brak LaTeXa - proszę zapoznać się z instrukcją: https://matematyka.pl/latex.htm.
-
- Użytkownik
- Posty: 12
- Rejestracja: 13 lis 2021, o 20:38
- Płeć: Kobieta
- wiek: 22
- Podziękował: 3 razy
Re: Logika zadanie kreska Sheffera (binegacja)
Skorzystaj z definicji:
\(\displaystyle{ \neg p\quad\Longleftrightarrow\quad p|p}\)
\(\displaystyle{ p\wedge q\quad\Longleftrightarrow\quad (p|q)|(p|q)}\)
\(\displaystyle{ p\vee q\quad\Longleftrightarrow\quad (p|p)|(q|q)}\)
\(\displaystyle{ p \Rightarrow q\quad\Longleftrightarrow\quad p|(p|q)}\)
\(\displaystyle{ \neg p\quad\Longleftrightarrow\quad p|p}\)
\(\displaystyle{ p\wedge q\quad\Longleftrightarrow\quad (p|q)|(p|q)}\)
\(\displaystyle{ p\vee q\quad\Longleftrightarrow\quad (p|p)|(q|q)}\)
\(\displaystyle{ p \Rightarrow q\quad\Longleftrightarrow\quad p|(p|q)}\)