سوالات المپیاد:مرحله ی اول:دوره ی ۶:سوال ۱۹
سوال ۱۹
کدام یک از عبارات منطقی زیر معادل با عبارت (B∧∼D)∨(∼C∧D) است؟
- (B∨∼C)∧(∼D∨D)
- (B∨∼D)∧(C∨D)
- (B∨D)∧(∼C∨∼D)
- (B∨∼D)∧(∼C∨D)
- (B∨D)∧(C∨∼D)
پاسخ
گزینه (۳) درست است.
(B∧∼D)∨(∼C∧D)≡[B∨(∼C∧D)]∧[∼D∨(∼C∧D)]≡[(B∨∼C)∧(B∨D)∧(∼D∨∼C)∧(∼D∨D)]≡(B∨∼C)∧(∼D∨∼C)∧(B∨D)≡[∼C∨(B∧∼D)]∧(B∨D)≡[∼C∧(B∨D)]∨[(B∧∼D)∧(B∨D)]≡[∼C∧(B∨D)]∨[(∼D∧B∧(B∨D)]≡[∼C∧(B∨D)]∨[(∼D∧B)∨F≡[∼C∧(B∨D)]∨[(∼D∧B)∨(∼D∧D)]≡[∼C∧(B∨D)]∨[∼D∧(B∨D)]≡(B∨D)∧(∼C∨∼D)
ابزار صفحه
کلیهی حقوق این سایت متعلق به کمیتهی ملی المپیاد کامپیوتر ایران است.
