Логическая функция — различия между версиями

Версия 10:33, 17 ноября 2015

Логическая функция — это функция, аргументами которой являются только булевы переменные (принимающие значения из множества {0,1}) и которая на любом наборе значений этих аргументов принимает значения из множества {0,1}.

Виды логических функций:

Одноместные (унарные) функции

Двухместные (бинарные) функции

• Значения логической функции задаются с помощью таблицы истинности или определяются по формулам.
• Логическая функция является предикатом, определённым на множестве {0,1}.

Другие понятия:

• логический закон;
• предикат;
• таблица истинности;
• карта Карно;
• трёхмерная карта Карно.

Ссылки

• Участник:Logic-samara