قانون دمورگان یک قاعده در منطق و همچنین در مجموعهها است که به ما کمک میکند تا رابطههای منطقی و مجموعهها را بهتر درک کنیم. این قانون دو قاعده اصلی دارد که میتوان آنها را به زبان ساده توضیح داد:
1. **نفی یک اتحاد:**
اگر بخواهیم بگوییم "نه A یا B" (به صورت ¬(A ∪ B) نمایش داده میشود)، طبق قانون دمورگان این معادل است با "نه A و نه B" (به صورت ¬A ∩ ¬B نمایش داده میشود). یعنی اگر هیچکدام از A یا B درست نباشند، پس نه A و نه B هم درست است.
2. **نفی یک تقاطع:**
اگر بخواهیم بگوییم "نه A و B" (به صورت ¬(A ∩ B) نمایش داده میشود)، طبق قانون دمورگان این معادل است با "نه A یا نه B" (به صورت ¬A ∪ ¬B نمایش داده میشود). یعنی اگر هیچکدام از A و B درست نباشند یا حداقل یکی از آنها نادرست باشد، پس نه A یا نه B درست خواهد بود.
به زبان سادهتر، میتوان گفت که برای نفی کردن یک رابطه "یا" به "و" تبدیل میشود و برای نفی کردن یک رابطه "و" به "یا" تبدیل میشود.
به عنوان مثال:
- اگر بگوییم "من نه سیب میخورم و نه موز"، این یعنی "من نه سیب میخورم" و "من نه موز میخورم".
- و اگر بگوییم "من نه سیب و موز میخورم"، این به این معنی است که "یا من سیب نمیخورم یا موز نمیخورم".
امیدوارم این توضیحات به شما کمک کند تا قانون دمورگان را بهتر درک کنید!
