Negacijska normalna forma

Logička formula je u negacijskoj normalnoj formi ako se negacije javljaju samo uz atomičke iskazne formule, a u formuli se javljaju samo veznici {$\lnot ,\lor ,\land$}. U klasičnoj logici svaka formula može da se prevede u ovu formu tako što se implikacije i ekvivalencije zamene svojim definicijama, iskoriste se de Morganovi zakoni da se negacije spuste što je moguće dublje, i eliminišu se dvostruke negacije. Ovaj proces se može predstaviti sledećim logičkim ekvivalencijama:

$\lnot (\forall x\;G)\equiv \exists x\;\lnot G$

$\lnot (\exists x\;G)\equiv \forall x\;\lnot G$

$\lnot \lnot G\equiv G$

$\lnot (G_{1}\land G_{2})\equiv (\lnot G_{1})\lor (\lnot G_{2})$

$\lnot (G_{1}\lor G_{2})\equiv (\lnot G_{1})\land (\lnot G_{2})$

Formula u negacijskoj normalnoj formi se može prevesti u jaču konjuktivnu normalnu formu ili disjunktivnu normalnu formu primenom distributivnih zakona.

Spoljašnje veze

• Java aplet za konvertovanje logičkih formula u negacijsku normalnu formu koji pokazuje koji zakoni se koriste