Matematyka.pl

1. Sprawdź metodą tabelkową następującą formułę (Klasyczny Rachunek Zdań/ KRZ):
\(\displaystyle{ \left( p \leftrightarrow \left( q/p\right) \right) \rightarrow q}\)

2. Lubię psychologię w biznesie i lubię matematykę. (zamiana z języka polskiego na notację logiczną).

Naprawdę tak trudno przeczytać instrukcję ze zrozumieniem? Jest tam napisane ma samym początku: "Oznacza, to że wszystkie wzory matematyczne należy umieszczać w całości w odpowiedniej strukturze kodu, który jest zaprezentowany poniżej" i masz wyraźny przykład. A Ty piszesz kod bez tagów... (dodatkowo tagowanie masz na przycisku nad polem edycji, więc wystarczy kliknąć).

Slasheeer pisze: ↑10 lut 2020, o 16:31\(\displaystyle{ \left( p \leftrightarrow \left( q/p\right) \right) \rightarrow q}\)

A cóż to takiego: \(\displaystyle{ q/p}\) ? Nie znam takiego symbolu.

JK

To jest chyba NAND. Kropka . przekreślona pionową kreską co daje !. Albo NOR, ale wtedy byłoby przekreślone v pionową kreską co dawałoby strzałkę w dół.
Moim zdaniem ta formuła to:

\(\displaystyle{ (p \Leftrightarrow \neg (q \wedge p)) \Rightarrow q }\)