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 12. 06. 2012 12:40

inhain
Zelenáč
Příspěvky: 12
Reputace:   0 
 

převod na klauzule

Čau mohl by mě někdo prosím poradit jak tento výraz převézt na klauzuli

$S\Leftrightarrow (R\Rightarrow P)$

Offline

 

#2 12. 06. 2012 14:15

Mr.Pinker
Příspěvky: 542
Reputace:   12 
 

Re: převod na klauzule

no pokud chceš klauzuli tak ta je definovaná jako disjunkce literálů
tak to převed podle pravidel o tom co je ekvivalce nejdříve a poté tím že $(R\Rightarrow P) \approx  non R  \vee P $

Offline

 

 

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson