Matematické Fórum

Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.

Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

Nejste přihlášen(a). Přihlásit

Stránky: 1

 

#1 06. 05. 2019 22:11

re_visor
Příspěvky: 40
Reputace:   0 
 

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

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?

Offline

 

#2 06. 05. 2019 22:24

check_drummer
Příspěvky: 5559
Reputace:   106 
 

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

↑ 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é.)

"Máte úhel beta." "No to nemám."

Offline

 

#3 06. 05. 2019 23:44

Stýv
Vrchní cenzor
Příspěvky: 5710
Reputace:   215 
Web
 

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

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

Offline

 

#4 06. 05. 2019 23:53

re_visor
Příspěvky: 40
Reputace:   0 
 

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

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

Offline

 

 

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson