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
Dobrý den, převádím formuli klauzolí do CNF tvaru ale nejsem si jistý jak to má být. Předem se omlouvám za ten hrozný zápis. Ty čísla co jsou v závorkách jsem tam dal aby bylo vidět jak se ty jednotlivý klauzole rozložil.
M={ P and Q => R (1), P and (R or V) (2), negace(Q => P and S) (3), negace(Q) <=> negace(s)(4), negace((P and Q) or (r and s)) (5)}
takto mi vyšli jednotlivé klausole.
P (1), negace(Q) or R (1), P (2), R and S(2), Q and negace(P)(3), negace(S)(3), (Q or negace(S))(4) , S or negace(Q)(4) , (negace(P) or negace(Q) (5) , negace(R) or negace(S)
Offline