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 10. 10. 2011 09:43

Amot
Zelenáč
Příspěvky: 7
Reputace:   0 
 

Výroková logika - zjednodušení výrazu

Ahoj,
jenom pro kontrolu

(p->q) v ¬p <=> (¬p v q) v ¬p <=> (¬p v ¬p) v (¬p v q)

Dá se nějak upravit výraz (¬p v ¬p) ?

Díky,
A.

Offline

 

#2 10. 10. 2011 10:04

zdenek1
Administrátor
Místo: Poděbrady
Příspěvky: 12436
Reputace:   897 
Web
 

Re: Výroková logika - zjednodušení výrazu

↑ Amot:
$(\neg p\vee \neg p)\Leftrightarrow\ \neg p$

ale já bych to zjednodušoval takto:
$\neg p\vee(p\Rightarrow q)\ \Leftrightarrow\ (p\Rightarrow (p\Rightarrow q))\ \Leftrightarrow\  (p\Rightarrow q)$

Pořádek je pro blbce, inteligent zvládá chaos!

Offline

 

#3 10. 10. 2011 10:08

Amot
Zelenáč
Příspěvky: 7
Reputace:   0 
 

Re: Výroková logika - zjednodušení výrazu

↑ zdenek1:
Mě trochu mate, že podle výsledku paní profesorky má vyjít TRUE.

Offline

 

#4 10. 10. 2011 10:28

zdenek1
Administrátor
Místo: Poděbrady
Příspěvky: 12436
Reputace:   897 
Web
 

Re: Výroková logika - zjednodušení výrazu

↑ Amot:

To jistě ne, např. kontrola strojem

Pořádek je pro blbce, inteligent zvládá chaos!

Offline

 

#5 10. 10. 2011 10:30

Amot
Zelenáč
Příspěvky: 7
Reputace:   0 
 

Re: Výroková logika - zjednodušení výrazu

↑ zdenek1:
Taky si myslím, že je to blbost.
Kdyby to vypadalo takhle (p->q) v p, tak by k tomu mohla dojít, ale s tímhle zadáním.

I tak díky,
A.

Offline

 

 

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson