قانون دمورگان

قانون دمورگان دو قانون هستند که در منطق گزاره ای کاربرد دارند:
1. نقیض اجتماع دو گزاره، نقیض هر یک از گزاره ها است: � ( A
∨ B ) ≡ �A ∧ �B
2. نقیض اشتراک دو گزاره، نقیض هر یک از گزاره ها است: � ( A ∧ B ) ≡ �A ∨ �B