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