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

Idempotence qonuninig isboti:

1)
Mos kirishga 1 signali berilganda CHIQISH qismi LED diodi yonadi. Bir o’zgaruvchiga birlashtiruvchi VA amali bajarilganda o’zgaruvchiga 1 qiymat berilganda natijaviy signal qiymati ham 1 bo’ladi.
Bu VA amali uchun idemptentlik qonunini tasdiqlaydi.
2)
Mos kirishga 1 signali berilganda CHIQISH qismi LED diodi yonadi. Bir o’zgaruvchiga birlashtiruvchi YOKI amali bajarilganda o’zgaruvchiga 1 qiymat berilganda natijaviy signal qiymati ham 1 bo’ladi.
Bu YOKI amali uchun idemptentlik qonunini tasdiqlaydi.

Absorbsiya qonunining isboti:

1)
Mos a kirishga 1 signali berilganda CHIQISH qismi LED diodi yonadi. Bu amal ikki a va b o’zgaruvchilar ustida bajarilganda, a o’zgaruvchiga 1 qiymat berilsa natijaviy signal qiymati ham 1 bo’ladi.
Bu absorbsiya qonunining 1 qismini tasdiqlaydi.
2)

• 
  Mos a kirishga 1 signali berilganda CHIQISH qismi LED diodi yonadi. Bu amal ikki a va b o’zgaruvchilar ustida bajarilganda, a o’zgaruvchiga 1 qiymat berilsa natijaviy signal qiymati ham 1 bo’ladi.
  
• 
  Bu absorbsiya qonunining 2 qismini tasdiqlaydi.
  

Qo’sh inversiya qonunining isboti:

The LED on the output component lights up when the corresponding input has the signal value 1. Double negation of a variable a will result in the signal value 1 if variable a is 1.
Bu qo’sh inkor qonunini tasdiqlaydi.

Inversiya qonunining isboti:

1)
CHIQISH qismi LED diodi doimo yonmaydi. a o’zgaruvchi va uning inversiyasi ustida VA amali bajarilganda chiqish doimo 0 bo’ladi.
Bu VA amali uchun inkor qilish(inversiya) qonunini tasdiqlaydi.
2)
CHIQISH qismi LED diodi doimo yonadi. a o’zgaruvchi va uning inversiyasi ustida YOKI amali bajarilganda chiqish doimo 1 bo’ladi.
Bu YOKI amali uchun inkor qilish(inversiya) qonunini tasdiqlaydi.