293017400

Przykład postaci normalnej

Każdy Rzymianin, który zna Marcusa

albo nienawidzi Cezara, albo myśli,

że każdy, kto nienawidzi kogokolwiek jest głupcem.

zdanie	Vx: [Roman(x) a know(x,Marcus)\ —»
logiczne	[hate(x, Caesar) v (Vy: 3z: hate(y, z) —* thinkcrazy(x, y))]
klauzula	—iRoman(x) v —iknow(x,Marcus) v
	hate(x, Caesar) v —i hate{y, z) v thinkcrazy(x, y)

Algorytm konwersji do klauzul

Algorytm składa się z dziewięciu kroków. -^Operuje na złożonym zdaniu logicznym i poprzez przeprowadzanie upraszczających operacji doprowadzi do powstania uproszczonej w formie klauzuli.

->Zdanie i klauzula są logicznymi ekwiwalentami.