Дополнительная информация

Логические функции

Логическая функция — это функция логических переменных X₁, X₂, X₃, ..., X_N:

которая может принимать только два значения — истина (1) или ложь (0).

Логическая функция может быть задана таблицей истинности. Число строк в таблице — это число возможных наборов значений аргументов. Оно равно S = 2^N, где N — количество переменных.

Для каждого набора функция может принимать два значения, поэтому количество различных функций N переменных равно 2^S. Приведём пример различных функций при N = 2. В этом случае S = 2² = 4, а количество разных функций равно 2⁴ = 16.

Некоторые из этих функций соответствуют известным вам логическим операциям, например: Y₂ — конъюнкция, Y₈ — дизъюнкция.