logó DIGITÁLIS SZÁMÍTÓGÉPEK
Programozott tananyag a számítástechnika tanításához és tanulásához.
visszaVISSZA   
menüMENÜ   

A logikai tagadásra vonatkozó tételek



Általánosan: a páros számú tagadás nem változtatja meg az értéket, míg a páratlan számú tagadás azt az ellenkezőjére változtatja.




Az előző két tétel az un. De Morgan - tételek, amelyek általánosan azt fogalmazzák meg, hogy egy logikai kifejezés tagadása úgy is elvégezhet, hogy az egyes változókat tagadjuk, és a logikai műveleteket felcseréljük (VAGY helyett ÉS, ill. ÉS helyett VAGY műveletet végzünk).