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

#1 28. 09. 2017 15:25

Programen
Zelenáč
Příspěvky: 3
Škola: VŠE FIS
Pozice: Student
Reputace:   
 

Výroková logika (nand)

Ahoj, potřeboval bych vysvětlit, jak se tvoří pravdivostní tabulka pro následující výrok:

$[(\alpha|\beta )|(\alpha|\alpha )|(\beta|\beta)]$.

Výsledné pravdivostní hodnoty by měly být ekvivalentní k hodnotám tohoto výroku:

$\alpha \Leftrightarrow \beta $,

ale nevím, jak se k nim dostat.

Předem díky za pomoc

Offline

 

#2 28. 09. 2017 17:21

Jj
Příspěvky: 8769
Škola: VŠB, absolv. r. 1970
Pozice: Důchodce
Reputace:   599 
 

Re: Výroková logika (nand)

↑ Programen:

Dobrý den.

V čem je konkrétně problém?

Řekl bych, nejdříve dílčí tabulky jednotlivých výrazů v závorkách, pak tabulka z těchto tří výsledných  "sloupců" spojených operátory "|".

Stačí takto?


Pokud se tedy nemýlím.

Offline

 

#3 28. 09. 2017 17:25 — Editoval Programen (28. 09. 2017 18:51)

Programen
Zelenáč
Příspěvky: 3
Škola: VŠE FIS
Pozice: Student
Reputace:   
 

Re: Výroková logika (nand)

Problém je v tom, že nevím, jak vyhodnotit tři výrazy za sebou.

Například v případě, že alfa ja 0 a beta 1 vyjdou pravdivostní hodnoty výrazů v závorkách 1; 1 a 0. Mám tedy nejprve porovnat 1 a 1 (vyjde 0) a potom 0 a 0 (vyjde 1)? protože pokud ano, nebudou pravdivostní hodnoty v tomto případě ekvivaletntní k výrazu alfa<=>beta.

Offline

 

#4 28. 09. 2017 22:57 — Editoval Jj (28. 09. 2017 23:17)

Jj
Příspěvky: 8769
Škola: VŠB, absolv. r. 1970
Pozice: Důchodce
Reputace:   599 
 

Re: Výroková logika (nand)

↑ Programen:

Pardon, neuvědomil jsem si hned, že Shefferův funktor není asociativní.  Ekvivalence to tudíž může být jen při vyhodnocování výrazu v pořadí
$[(\alpha|\beta )|\color{red}(\color{black}(\alpha|\alpha )|(\beta|\beta)\color{red})\color{black}]$
Při programování takové pořadí vyhodnocování myslím (aspoň pokud vzpomínám) někdy bylo, jinak tedy nevím.


Pokud se tedy nemýlím.

Offline

 

#5 29. 09. 2017 08:18 — Editoval mracek (29. 09. 2017 08:48)

mracek
Zablokovaný
Příspěvky: 164
Reputace:   
 

Re: Výroková logika (nand)

Mno, pokud by se to v javascriptu zapsalo takhle, operace OR
(a || b ) || (a || a) || (b || b), pak
a || b || a || a || b || b
a || b

Tabulkou by se to resilo, viz Programen, kazdou operaci zvlast. Na tom, jestli jsou tam 2 nebo 3 vysledky preci nezalezi, ne?
a || b || c - je 1, kdyz a=1 nebo b=1 nebo c=1
a && b && c - je 0, kdyz a=0 nebo b=0 nebo c=0; takze 1 jen, kdyz je vsechno 1

Pr. Potrebujes zjistit, zda je objekt o velikosti 1 pixel (x,y) uvnitr obdelniku (x1,y1,x2,y2), napriklad kurzor mysi.
x1 < x < x2 && y1 < y < y2
x1<x && x<x2 && y1<y && y<y2
Musi tedy platit vsechny podminky soucasne, aby byl uvnitr obdelniku, 1, true. Jinak je to mimo.
O neco slozitejsi pak je, kdyz oba objekty jsou obdelniky.

Edit2:
Pr2. Mas anketu a potrebujes, aby uzivatel zaskrtl alespon 1 moznost, hodnoceni treba 1-5, aby mohl dotaznik odeslat.
U moznosti muz / zena  je to jasne.
a=checked || b=checked - muz / zena
a=checked || b=checked || c=checked || d=checked || e=checked - hodnoceni 1-5
Jestli se to vyhodnocuje se zavorkami nebo bez, je tu uplne jedno, ne?
a || b - a=1, vysledek 1
a || b - b=1, vysledek 1
a || b - a=0, b=0, vysledek 0
(a || b) || c -> 1 || c = 1
(a || b) || c -> 0 || c = c 0/1
(a || b) || (c || d)
(a || b) || 1 = 1
(a || b) || 0 = a || b
1 || (c || d) = 1
0 || (c || d) = c || d
Kdyz v te zavorce neni 1, tak na ni nezalezi. A kdyz a=1, tak na b,c,d,e nezalezi. Takze to muze byt se zavorkami nebo bez.

Edit3:
Pr3:
A ted treba potrebujes, aby uzivatel mel kurzor mysi v prave dolni casti obrazovky a mel zaskrtnute muz nebo zena.
(x>x1 && y>y1) && (c || d)
(a && b) && (c || d)
a && b && (c || d) muzu zrusit prvni zavorku, ale druhou uz ne, protoze je tam jina operace
Kdyz a=0, tak vysledek bude 0. Totez b, totez vysledek zavorky. A kdz vsechny budou 1, tak vysledek bude 1.
Ale, kdyz c=0, tak vysledek celeho vzorce stale zavisi na d.

Offline

 

#6 29. 09. 2017 08:42

Jj
Příspěvky: 8769
Škola: VŠB, absolv. r. 1970
Pozice: Důchodce
Reputace:   599 
 

Re: Výroková logika (nand)

↑ mracek:

V dotazu se nejedná o operaci "OR", ale o "NAND", kde je to zřejmě jinak.


Pokud se tedy nemýlím.

Offline

 

#7 29. 09. 2017 09:06

mracek
Zablokovaný
Příspěvky: 164
Reputace:   
 

Re: Výroková logika (nand)

Jestli to neni and, or, ale xor a pod, tak to potom bude slozitejsi a nejspis zavorky nepujdou odtranit. to pak je sikovnejsi mit po ruce pravd. tabulku dane operace, jinak se clovek muze snadno splest pri vyplnovani.

Offline

 

#8 29. 09. 2017 22:52

Programen
Zelenáč
Příspěvky: 3
Škola: VŠE FIS
Pozice: Student
Reputace:   
 

Re: Výroková logika (nand)

Mně jde právě o to, na čem to pořadí závisí. Například Wolfram Alpha si závorky sám přidá takto:

$[(\alpha|\beta )|\color{red}(\color{black}(\alpha|\alpha )|(\beta|\beta)\color{red})\color{black}]$

Znamená to tedy, že se výroky vyhodnocují vždy zprava doleva?

Moje současná teze je, že v příkladu závorky chybí, nebo je zaměněno pořadí hodnot (první příklad také obsahoval chybu, takže bych se moc nedivil).

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson