Логическая функция — различия между версиями
Материал из ALL
Строка 1: | Строка 1: | ||
'''Логическая функция''' — это функция, аргументами которой являются только '''булевы переменные''' (принимающие значения из множества '''{0,1}''') и которая на любом наборе значений этих аргументов принимает значения из множества '''{0,1}'''. | '''Логическая функция''' — это функция, аргументами которой являются только '''булевы переменные''' (принимающие значения из множества '''{0,1}''') и которая на любом наборе значений этих аргументов принимает значения из множества '''{0,1}'''. | ||
− | |||
== Виды логических функций: == | == Виды логических функций: == | ||
=== Одноместные (унарные) функции === | === Одноместные (унарные) функции === | ||
[[файл:ЛФ01.JPG]] | [[файл:ЛФ01.JPG]] | ||
− | |||
=== Двухместные (бинарные) функции === | === Двухместные (бинарные) функции === | ||
[[файл:ЛФ02.JPG]] | [[файл:ЛФ02.JPG]] | ||
− | |||
* Значения логической функции задаются с помощью [[Таблица истинности|таблицы истинности]] или определяются по формулам. | * Значения логической функции задаются с помощью [[Таблица истинности|таблицы истинности]] или определяются по формулам. | ||
* Логическая функция является [[предикат]]ом, определённым на множестве '''{0,1}'''. | * Логическая функция является [[предикат]]ом, определённым на множестве '''{0,1}'''. | ||
− | |||
== Нормальные формы логической функции: == | == Нормальные формы логической функции: == | ||
* [[совершенная дизъюнктивная нормальная форма]] ([[СДНФ]]); | * [[совершенная дизъюнктивная нормальная форма]] ([[СДНФ]]); | ||
Строка 16: | Строка 12: | ||
* [[минимальная дизъюнктивная нормальная форма]] ([[МДНФ]]); | * [[минимальная дизъюнктивная нормальная форма]] ([[МДНФ]]); | ||
* [[минимальная конъюнктивная нормальная форма]] ([[МКНФ]]). | * [[минимальная конъюнктивная нормальная форма]] ([[МКНФ]]). | ||
− | |||
== Другие понятия: == | == Другие понятия: == | ||
* [[логический закон]]; | * [[логический закон]]; | ||
Строка 23: | Строка 18: | ||
* [[карта Карно]]; | * [[карта Карно]]; | ||
* [[трёхмерная карта Карно]]. | * [[трёхмерная карта Карно]]. | ||
− | |||
== Ссылки == | == Ссылки == | ||
* [[Участник:Logic-samara]] | * [[Участник:Logic-samara]] | ||
[[Категория:Дискретная математика]][[Категория:Логика]] | [[Категория:Дискретная математика]][[Категория:Логика]] |
Версия 16:14, 15 января 2016
Логическая функция — это функция, аргументами которой являются только булевы переменные (принимающие значения из множества {0,1}) и которая на любом наборе значений этих аргументов принимает значения из множества {0,1}.
Содержание
Виды логических функций:
Одноместные (унарные) функции
Двухместные (бинарные) функции
- Значения логической функции задаются с помощью таблицы истинности или определяются по формулам.
- Логическая функция является предикатом, определённым на множестве {0,1}.
Нормальные формы логической функции:
- совершенная дизъюнктивная нормальная форма (СДНФ);
- совершенная конъюнктивная нормальная форма (СКНФ);
- минимальная дизъюнктивная нормальная форма (МДНФ);
- минимальная конъюнктивная нормальная форма (МКНФ).