Mantiqiy funktsiyalar va Bul algebrasining asosiy qonunlari Bul algebrasini teoremasi. De-Morgan qonuni

Pirs strelkasi funktsiyasi uchun quyidagi aksiomalar o’rinli:
хх=х; х0=х;
хх=0; х1=0.
Pirs strelkasi funktsiyasi uchun faqat kommutativlik (ko’chirish qonuni) xususiyati o’rinli:
ху=ух.
VA, YOKI, EMAS funktsiyalarini Pirs strelkasi funktsiyasi orqali quyidagicha ifodalash mumkin:
Amaliyotlarda «nulning konstituenti» atamasi ishlatiladi).
Masalan,
Ф1=х1х2х3х4,
Ф2= х1 х2,
Masalan 3. Mantiq algebrasi funktsiyalarining analitik ifodalanishi
Yuqorida mantiqiy elementlarni ifodalashda jadval usulidan foydalangan edik. Jadval usulida o’zgaruvchilar qiymatlarining har bir naboriga haqiqiylik jadvalida mantiqiy funktsiya qiymati to’g’ri kelar edi. Bu usul ixtiyoriy sonni o’zgaruvchi funktsiyalarini yozishga imkon bersada, bunday yozuv MAFlarni tahlil etishda ixcham bo’lmaydi. Formula ko’rinishidagi analitik yozuv soddaroq hisoblanadi.