De Morgan qonunlari yordamida mantiqiy algebrada gaplarni soddalashtirish

De Morgan qonunlari yordamida mantiqiy algebrada gaplarni soddalashtirish
Kirish
Biz oldingi bobda De Morgan qonunlarini aniqlagan edik. De Morgan qonunlari va Boolean algebrasidan foydalanishning turli usullarini tushunishning kaliti imkon qadar ko'proq misollar keltirishdir. Endi biz De Morgan qonunlaridan foydalanadigan ba'zi misollarni ko'rib chiqamiz. Tajribangizni oshirib borsangiz, De Morgan qoidalari faqat bitta o'zgaruvchiga taalluqli emasligini ko'rasiz. Ular ifodada faqat ikkitadan ortiq o'zgaruvchilar mavjud bo'lgan joylarga qo'llaniladi va iloji boricha ko'proq misollar bilan ishlash orqali siz buni tushunishni boshlaysiz va unga e'tibor qaratasiz. Shuni ham unutmangki, qoidalar teskari tarzda ham qo'llanilishi mumkin, masalan, XY  ≡ X + Y , shuningdek X + Y ≡ XY shuning uchun foydalanilayotganiga e'tibor bering. Unutmang:
De Morgan qoidalarini eslab qolishning oson yo‘li shundan iboratki, har bir atama to‘ldirilib, 
so‘ngra OR lar ANDga, AND esa OR ga aylanadi.
1-misol
NOT(A VA B VA C) ifodasida De Morgan qonunidan foydalaning.
Biz buni ¬(A L B L C) yoki o'zimiz afzal ko'rgan belgi sifatida ko'rsatishimiz mumkin
ABC
XY ≡  X + Y ni bildiradigan De Morgan qoidasini qo'llash orqali biz olamiz 
ABC ≡ A + B + C

2-misol
NOT(A OR B OR C) ifodasida De Morgan qonunidan foydalaning.
Biz buni ¬(A VB VC) yoki biz tanlagan belgi sifatida ko'rsatishimiz mumkin
A + B + C
X + Y ≡  X Y ni bildiruvchi De Morgan qoidasini qo'llagan holda biz olamiz 
A + B + C ≡ A B C 
3-misol
NOT(E VA F VA G VA H) ifodasida De Morgan qonunidan foydalaning.
Biz buni ¬(E L F L G L H ) yoki o‘zimiz afzal ko‘rgan belgi sifatida ko‘rsatishimiz mumkin.
EFGH
XY ≡  X + Y ni bildiradigan De Morgan qoidasini qo'llash orqali biz olamiz 
EFGH ≡ E + F + G + H 

4-misol
NOT(E OR F OR G OR H) ifodasida De Morgan qonunidan foydalaning.
Biz buni ¬(E VF VGVH) yoki biz tanlagan belgi sifatida ko'rsatishimiz mumkin
E + F + G + H
X + Y ≡  X Y ni bildiruvchi De Morgan qoidasini qo'llagan holda biz olamiz 
E + F + G + H ≡ E F G H