De morgan azonosság

Meghatározás

A de Morgan azonosságok olyan logikai és matematikai törvények, amelyek azt fejezik ki, hogy a logikai negációk (tagadások) a konjunkciók (és) és diszjunkciók (vagy) között átválthatók. Az alapvető de Morgan azonosságok a következők:

• A nem (A és B) egyenlő (nem A) vagy (nem B)
• A nem (A vagy B) egyenlő (nem A) és (nem B)

Szinonimák

• Morgan-törvény
• De Morgan szabályok
• De Morgan elvek

Rokon értelmű szavak

• Logika
• Matematika
• Negáció

Ellentétes értelmű szavak

• Igaz
• Valódi
• Affirmáció

Példamondatok

• A de Morgan azonosságok segítenek megérteni a logikai műveletek viszonyait.
• A matematikai bizonyítás során gyakran alkalmazzuk a de Morgan szabályokat a logikai kifejezések egyszerűsítésére.
• A diákoknak érdemes megismerkedniük a de Morgan azonosságokkal a tesztek előtt.
• A logikai állítások átalakításában a de Morgan elvek kikerülhetetlen szerepet játszanak.