| dbo:abstract
|
- A diszjunktív normálforma, röviden DNF 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 konjunkcióinak diszjunkciója: A diszjunktí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). Tehát, ha a logikai művelet az változókon van értelmezve, akkor egy diszjunktív normálformája lehet például: (hu)
- A diszjunktív normálforma, röviden DNF 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 konjunkcióinak diszjunkciója: A diszjunktí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). Tehát, ha a logikai művelet az változókon van értelmezve, akkor egy diszjunktív normálformája lehet például: (hu)
|
