элементар дизъюнкция мос келади ва ҳоказо. Кейин нол элемент ҳақидаги (19.9) аксиомага мувофиқ l v d ифодадан (бу ерда, d-элементар дизьюнкция) дастлабки буль функцияси 1 га тенг бўлган координаталарга моc келувчи (19. 14) тенгламанинг квадрат қавс ичидаги ҳадлари ҳам бирга тенг. Шу билан бир вақтда бирлик элемент ҳақидаги (19.10) аксиомага кўра ифодада (бунда, – квадрат илдизлар ичидаги ҳадлар) буль функцияси 0 га тенг. Бинобарин (19.14) тенгламанинг ўнг томонида шундай элементар дизъюнкциялар борки, уларнинг тегишли координаталарида дастлабки функцияси 0 га тенг.
Aim.uz
Do'stlaringiz bilan baham: |