Совершенная конъюнктивная нормальная форма функции алгебры логики:

Совершенная конъюнктивная нормальная форма функции алгебры логики:

Совершенная дизъюнктивная нормальная форма функции алгебры логики:

Совершенная дизъюнктивная нормальная форма функции алгебры логики:

Cовершенная конъюнктивная нормальная форма для импликации имеет вид:

Некоторая функция алгебры логики зависит от 64 аргументов. Количество элементов в множестве значений данной функции алгебры логики равно:

Функция алгебры логики задана на двух аргументах. Количество элементов в множестве значений данной функции алгебры логики равно:

Некоторая функция алгебры логики зависит от 64 аргументов. Областью определения данной функции алгебры логики является множество с количеством элементов:

Некоторая функция алгебры логики зависит от одного аргумента. Областью определения данной функции алгебры логики является множество с количеством элементов:

Получить функцию алгебры логики от двух переменных, применяя операции суперпозиции и замены переменной над классом функций алгебры логики одной переменной:

Если операциями суперпозиции и замены переменных из функций данной системы функций алгебры логики можно получить произвольную функцию алгебры логики, то такая система функций: