293017401

Etap 1 - Usunięcie implikacji

Korzysta z własności

a —> b = —i a v b

Przykład:

\/x: male(X) —> man(X)

Vx: —<maIe(X) v man(X)

Etap 2 - Przesunięcie negacji

Krok ten prowadzi do uproszczenia wyrażeń z negacją.

Redukuje nawiasy.

Korzysta z własności

—<—'p) = p —i(a a b) = —\a v —ib —{a vb) = -w/\—ib -Mx:P(x)=3x:->P(x)

-3x:P(x) = Vx:^P(x)