[BimmBimm]

Megint itt vagyok. Csak ez most épp predikátumkalkulus lesz. Remélem más nem útálja annyira mint én

Szóval a feladat mondhatni egyszerű, és elvileg tanultuk:
Volt egy formula, azt DNF-re hoztam, de nekem KNF-re kéne (későbbiekben Horn-algoritmushoz fontos), de valahogy nem tudom kihozni ami a példában van:

| vagy
& és
~ tagadás

DNF-ben: ((p & ~q) | (q & ~p)) | r | s

van ugye az az összefüggés hogy: (F & G) | H ≡ (F | H) & (G | H)
Csak nem tudom hogy mit hova kéne helyettesítenem hogy jó legyen.

Egyébként megoldásnak ez van:
((p | q) & (~q | ~p)) | r | s ≡ (p | q | r | s) & (~p | ~q | r | s)

Szóval izé. Hogy?