Matematické Fórum

re_visor · 06. 05. 2019 22:11

Ahoj,

ve skriptech matematické logiky, v části kde se vysvětluje, že Shefferův symbol neboli NAND, který značíme $\uparrow$ , tvoří univerzální systém logických spojek, je následující rovnost:

$\neg(\neg A \vee \neg B)$

je logicky ekvivalentní s

$\neg A \vee \neg B \uparrow \neg A \vee \neg B$

Můžete mi prosím někdo pomoci pochopit, jak dojít z toho prvního výrazu k druhému?

check_drummer · 06. 05. 2019 22:24

↑ re_visor:
Ahoj, pro všechny možné kombinace logických hodnot proměnných A,B bys měl dostat stejné logické hodnoty obou výrazů. (Využívám věty o úplnosti, že co je splnitelné je i dokazatelné.)

Stýv · 06. 05. 2019 23:44

↑ re_visor: Není náhodou obecně $\neg C$ ekvivalentní s $C \uparrow C$ ?

re_visor · 06. 05. 2019 23:53

↑ Stýv:
Máte pravdu, právě před několika minutami mi to také konečně došlo :) Děkuji za potvrzení :)

Matematické Fórum

#1 06. 05. 2019 22:11

NAND vs. Univerzální systém logických spojek

#2 06. 05. 2019 22:24

Re: NAND vs. Univerzální systém logických spojek

#3 06. 05. 2019 23:44

Re: NAND vs. Univerzální systém logických spojek

#4 06. 05. 2019 23:53

Re: NAND vs. Univerzální systém logických spojek

Zápatí