Idempotence qonuninig isboti:
1)
Mos kirishga 1signaliberilgandaCHIQISHqismiLEDdiodiyonadi. 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 1signaliberilgandaCHIQISHqismiLEDdiodiyonadi. 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 1signaliberilgandaCHIQISHqismiLEDdiodiyonadi. 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 1signaliberilgandaCHIQISHqismiLEDdiodiyonadi. 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.
Inversiyaqonuniningisboti:
1)
CHIQISHqismiLEDdiodidoimoyonmaydi. ao’zgaruvchivauninginversiyasiustidaVAamalibajarilgandachiqishdoimo 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.