45
2. АЛГЕБРА ЛОГИКИ
Аппарат математической логики сложился в значительной мере под
влиянием прикладных проблем анализа и синтеза различных автоматических
устройств дискретного действия: механических, пневматических,
гидравлических, электрических и электронных и в частности контактных
электрических схем. Разработанные в рамках алгебры логики положения
позволяют обоснованно подходить к созданию алгоритмов работы указанных
устройств, их конструкции, а также оптимизации.
2.1. ЛОГИЧЕСКИЕ ФУНКЦИИ
Логической функцией называется отображение из одного конечного
упорядоченного множества в другое.
Компоненты х
i
образующие множество Х аргумента, и компоненты у
i
образующие множество Y, значений логической функции f(x)=Y, называются
буквами соответствующих алфавитов Х или Y[2].
Таким образом, в теоретико-множественном смысле логическая
функция представляет собой о тображение множества кортежей (х
1
, х
2
,..., х
n
)
называемых словами длиной п и являющихся аргументами логической
функции на множество её значений, являющихся кортежами и н азываемых
словами (y
1
,y
2
,…,y
m
) длиной т, т.е.
Если буквы x
i
слов аргумента и буквы y
i
слов логической функции
принимают значение из одного алфавита, то логическая функция является
однородной.
Рассмотрим для примера однородную логическую функцию с ал-
фавитом А={0,1,2}, содержащим k символов, и установим длину п слов
аргумента, равную двум, п =2. При этом слова аргумента будут состоять из
двух букв: (x
1
,x
2
), а сами буквы x
1
и x
2
будут принимать значения из
алфавита, т.е. либо 0, либо 1, либо 2.
В трехзначном алфавите {0,1,2} словами длиной 2 будут все воз-
можные комбинации из букв алфавита длиной 2, т.е.