dbo:abstract
- A konjunktív normálforma, röviden KNF a matematikai logika egy területén, a belül definiálható fogalom, egy logikai műveletet leíró olyan ítéletlogikai formulát jelent, mely a művelet változóinak vagy negáltjainak diszjunkcióinak konjunkciója: A konjunktív normálformák tehát olyan nulladrendű logikai formulák, melyekben csak változók és az operátorok fordulnak elő (és egyéb megkötések is érvényesek). A pontos matematikai definíciót lásd . Tehát, ha a logikai művelet az , ,, változókon van értelmezve, akkor egy konjunktív normálformája lehet például: (hu)