Буль алгебрасының заңы. Логикалық функцияның тәсілдері

Буль ашқан алгебраның қолдану аясы қаншалықты кен де өркенді екенін айқындауға болады. Оған толығырақ көз жеткізу үшін, әуелі Буль айнымалысына қолданылатын амал туралы ұғымды тиянақты түрде анықтап алу керек.
Бізге (х,у) € Б немесе (х,у) {0,1} юолатын х,у Буль айнымалылары берілсін. Осы х пен у айнымалыларға қолданылатын Буль амалы туралы ұғым (х,у) Буль қосын Б ={0,1} жиынына бейнелеу арқылы анықталады.
Анықтама. Егер де х,у екі айнымалыдан тұратын (х,у,)-Буль қосының Б ={0,1} жиынындағы бейнесі болатындай z-айнымалы табылып, көрсетілген болса онда Б жиынында Буль амалы анықталған дейді.