Логической функцией (булевой функцией) называется функция логических переменных f(x1, х2, ..., хп), которая так же как и ее аргументы принимает только значения 0 и 1.
Каждая логическая операция задает соответствующую логическую функцию своих переменных. Следовательно, можно говорить о трех логических функциях: конъюнкции(y=х1×х2×…×хп), дизъюнкции(y=х1+x2+…+хп), инверсии (y= ). Число аргументов (переменных) функций дизъюнкции и конъюнкции в общем случае может быть произвольным (больше двух).
Система логических функций называется функционально полной, если при помощи функций, входящих в систему, можно выразить любую сколь угодно сложную булеву функцию.
В математической логике доказывается, что если система булевых функций содержит функции конъюнкцию, дизъюнкцию иинверсию, то она является функционально полной.