Ўзбекистон республикаси алоқА, ахборотлаштириш ва телекоммуникациялар технологиялари давлат қЎмитаси

De  Morgan  qonunlari  sifatida  ma’lum  quyidagi  munosabatlarning 
haqiqatligini ham ko’rsatish mumkin: 







.
;
y
x
y
x
y
x
xy
   
 
                                  
                    (1.2) 
Bu qonundan  quyidagini yozish mumkin: 
              








.
;
y
x
y
x
y
x
xy
   
 
                                                               (1.3) 
demak,  kon’yunksiyani  diz’yunksiya  va  inkor  orqali  yoki  diz’yunksiyani 
kon’yunksiya va inkor orqali ifodalash mumkin. 
Mantiqiy  funksiyalar  uchun  singdirish  qonuni  sifatida  ma’lum  quyidagi 
munosabatlar o’rnatilgan: 
   







;
)
(
,
)
(
x
y
x
x
x
xy
x
  
 
 
                                                     (1.4)