Tajriba maqsadlari

YOKIamali

Shartli belgisi:

• 
  Kirish kalitlarini 0 va 1 kalitlarni YOKI amalining kirishiga YOKI amalinig chiqishini CHIQISH bo’limiga ulang.
  

XYOKI (maxsus YOKI) amali

Shartli belgisi:

• 
  Kirish kalitlarining 0 va 1 kalitlarni XYOKI amalining kirishiga XYOKI amalinig chiqishini CHIQISH bo’limiga ulang.
  

EMAS amali, oz’garuvchini inkor qilish yoki inersiyasi

Shartli belgisi:

• 
  Kirishning 0 va 1 kalitlarni EMAS amalining kirishiga XYOKI amalinig chiqishini CHIQISH bo’limiga ulang.
  

VAEMAS:

Shartli belgisi:

• 
  0 va 1 kirish kalitlarini VAEMAS amali kirishiga ulang va chiqishini CHIQISH bo’limiga ulang.
  

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.