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
Ahoj, potřeboval bych vysvětlit, jak se tvoří pravdivostní tabulka pro následující výrok:
.
Výsledné pravdivostní hodnoty by měly být ekvivalentní k hodnotám tohoto výroku:
,
ale nevím, jak se k nim dostat.
Předem díky za pomoc
Offline
↑ 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?
Offline
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
↑ 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í![kopírovat do textarea $[(\alpha|\beta )|\color{red}(\color{black}(\alpha|\alpha )|(\beta|\beta)\color{red})\color{black}]$](/mathtex/6c/6c7881e94b325c6eaf2b018589e49cd2.gif)
Při programování takové pořadí vyhodnocování myslím (aspoň pokud vzpomínám) někdy bylo, jinak tedy nevím.
Offline
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
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:![kopírovat do textarea $[(\alpha|\beta )|\color{red}(\color{black}(\alpha|\alpha )|(\beta|\beta)\color{red})\color{black}]$](/mathtex/6c/6c7881e94b325c6eaf2b018589e49cd2.gif)
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