Sanoq sistemalari haqida umumiy ma’lumot Bull algebrasi. Va, Yoki, yoki emas, emas va va emas mantiqiy amallari

O’xshashlik qonunining isboti:

1)

• 
  0 kirish kalitini VA amalining ikkala kirishiga ulang va VA amali chiqishini CHIQISH bo’limiga ulang.
  

2)

• 
  0 kirish kalitini YOKI amalining ikkala kirishiga ulang va YOKI amali chiqishini CHIQISH bo’limiga ulang.
  

Absorbsiya qonuninig isboti:

1)

• 
  0 kirish kalitini VA amalining birinchi kirishiga va YOKI amalining birinchi kirishiga ulang.
  
• 
  1 kirish kalitini YOKI amalining ikkinchi kirishiga ulang.
  
• 
  YOKI amali chiqishini VA amalining ikkinchi kirishiga ulang.
  
• 
  VA amalining chiqishini qurilma chiqishiga CHIQISH bo’limiga ulang.
  

2)

• 
  0 kirish kalitini VA hamda YOKI amalining birinchi kirishiga ulang.
  
• 
  1 kirish kalitini VA amalining ikkinchi kirishiga ulang.
  
• 
  VA amalining chiqishini YOKI elementining ikkinchi kirishiga ulang.
  
• 
  YOKI amalining chiqishini CHIQISH bo’limiga ulang.
  

Inkorni inkor qilish qonuninig isboti

• 
  0 kirish kalitini EMAS amalining birinchi kirishiga ulang.
  
• 
  EMAS amali chiqishini ikkinchi EMAS amali kirishiga ulang.
  
• 
  Ikkinchi EMAS amali chqishini CHIQISH bo;limiga ulang.
  

Inkor qilish qonuninig isboti

1)

• 
  0 kirish kalitini EMAS amali kirishiga va VA amalining birinchi kirishiga ulang.
  
• 
  EMAS elementi chiqishini VA amalining ikkinchi kirishiga ulang.
  
• 
  VA amalining chiqishini CHIQISH bo’limiga ulang.
  

2)

• 
  0 kirish kalitini EMAS amali kirishiga va YOKI amalining birinchi kirishiga ulang.
  
• 
  EMAS elementi chiqishini YOKI amalining ikkinchi kirishiga ulang.
  
• 
  YOKI amalining chiqishini CHIQISH bo’limiga ulang.