'''Логическая функция''' — это функция, аргументами которой являются только '''булевы переменные''' (принимающие значения из множества '''{0,1}''') и которая на любом наборе значений этих аргументов принимает значения из множества '''{0,1}'''.
== Обозначения ==
Введём обозначения:
'''n''' – число аргументов функции;
'''(x<sub>1</sub>,x<sub>2</sub>,…,x<sub>n</sub>)''' – набор аргументов функции;
'''f(x<sub>1</sub>,x<sub>2</sub>,…,x<sub>n</sub>)''' – логическая функция.
== Виды логических функций: ==
=== Одноместные (унарные) функции ===