Режа: 1 Mantiqiy funktsiyalar va Bul algebrasining asosiy qonunlari

Sheffer shtrixi funktsiyasi uchun quyidagi aksiomalar o’rinli:
х/x=x; x/1=x;
x/x=1; x/0=1;
x/0=1; x/1=x.
Sheffer shtrixi funktsiyasi uchun faqat kommutativlik (ko’chirish qonuni) o’rinlidir:
х/у=у/х,
VA, YOKI, EMAS funktsiyalari Sheffer shtrixi funktsiyasi orqali quyidagicha ifodalanadi:
(3.6)
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.
http://azkurs.org