[none]

Originally Posted by 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?

nem értek hozzá, így nem biztos, de:
((p & ~q) | (q & ~p)) | r | s >> ((p + ~q) * (q + ~p)) * r * s (így jobban átlátom) beszorzod a zárójelet: (p*q + q*~q + p*~p + ~q*~p) ebből q*~q=1, p*~p=1 mert önmaga ellentetjével vagy-olod így tuti bekövetkezik így kapod ezt: ((p | q) & (~q | ~p)) | r | s >> ( ((p * q) + (~q * ~p)) * r * s megint beszorzol: (p*q*r*s)+(~q*~p*r*s)>> (p | q | r | s) & (~p | ~q | r | s) )
szerintem..