bog'liqlik kommutatsiya funktsiyasi yoki mantiq algebrasining funktsiyasi deb
ataladi.
Mantiqiy algebra
funktsiyasi, agar uning barcha 2 n qiymatlari berilgan bo'lsa,
to'liq aniqlangan deb ataladi, bu erda n - chiqish o'zgaruvchilari soni.
Agar barcha qiymatlar aniqlanmagan bo'lsa, funktsiya qisman aniqlangan deb
aytiladi.
Qurilmaning holati mantiqiy algebra funktsiyasi yordamida tasvirlangan bo'lsa, u
mantiqiy deb ataladi.
Mantiq algebrasining funksiyasini ifodalash uchun quyidagi usullardan
foydalaniladi:
•
og'zaki tavsif - dastlabki loyihalash bosqichida qo'llaniladigan va
shartli
tasvirga ega bo'lgan shakl.
•
mantiq algebrasining funksiyasini haqiqat jadvali shaklida tasvirlash.
•
mantiq algebrasi funktsiyasini algebraik ifoda ko'rinishida tavsiflash: FAL
ning ikkita algebraik shakllari qo'llaniladi:
a)