Булевы (гулевы) функции
Что такое булева алгебра? Булевой алгеброй называется непустое множество AA с двумя бинарными операциями ∧∧ (аналог конъюнкции), ∨∨ (аналог дизъюнкции), одной унарной операцией ¬¬ (аналог отрицания) В алгебре логики основными (элементарными) операциями являются отрицание, логическое сложение (дизъюнкция), логическое умножение (конъюнкция), импликация, эквивалентность. При упрощении булевых формул или высказываний, связанных скобками и логическими операциями, используют следующие правила приоритета (или старшинства) логических операций - от наиболее сильной - к слабой: ¬∧∨→↔ Словесно: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность. Суперпозиции Суперпозиция функций, композиция функций — функция, полученная из некоторого множества функций путем подстановки одной функции в другую или отождествления переменных. Множество всех возможных не эквивалентных друг другу суперпозиций данного множества функций образует замыкание данного множества функций. Пусть нам дан некоторый набор булевых функций K. Получить новую функцию, являющеюся композицией функций из K, мы можем следующими способами: 1) Подстановкой одной функции в качестве некоторого аргумента для другой; 2) Отождествлением аргументов функций.