Совершенная конъюнктивная нормальная форма — различия между версиями
Материал из ALL
м |
|||
(не показаны 3 промежуточные версии этого же участника) | |||
Строка 1: | Строка 1: | ||
'''Совершенная конъюнктивная нормальная форма (СКНФ)''' для '''[[Логическая функция|логической функции]]''' – это конъюнкция различных элементарных дизъюнкций всех аргументов (либо самих, либо их отрицаний) данной функции, причём в одинаковом порядке. | '''Совершенная конъюнктивная нормальная форма (СКНФ)''' для '''[[Логическая функция|логической функции]]''' – это конъюнкция различных элементарных дизъюнкций всех аргументов (либо самих, либо их отрицаний) данной функции, причём в одинаковом порядке. | ||
При этом '''[[Таблица истинности|таблицы истинности]]''' для логической функции и её СКНФ совпадают. | При этом '''[[Таблица истинности|таблицы истинности]]''' для логической функции и её СКНФ совпадают. | ||
− | == | + | == Обозначения == |
− | + | ||
− | + | ||
'''n''' – число аргументов функции; | '''n''' – число аргументов функции; | ||
Строка 15: | Строка 13: | ||
'''arg<sub>j</sub>[f(x<sub>1</sub>,x<sub>2</sub>,…,x<sub>n</sub>)=0]''' – значение аргумента '''x<sub>j</sub>''' в фиксированном наборе аргументов. | '''arg<sub>j</sub>[f(x<sub>1</sub>,x<sub>2</sub>,…,x<sub>n</sub>)=0]''' – значение аргумента '''x<sub>j</sub>''' в фиксированном наборе аргументов. | ||
− | + | == Формула == | |
[[файл:СКНФ01.JPG]] | [[файл:СКНФ01.JPG]] | ||
[[файл:СКНФ10.JPG]] – элементарная дизъюнкция. | [[файл:СКНФ10.JPG]] – элементарная дизъюнкция. | ||
− | * Для логической функции выбираются лишь те комбинации, которые приводят логическое выражение в состояние нуля. | + | *Для логической функции выбираются лишь те комбинации, которые приводят логическое выражение в состояние нуля. |
В элементарную дизъюнкцию записывается переменная без инверсии, если она в наборе равна 0, и с инверсией, если она равна 1. | В элементарную дизъюнкцию записывается переменная без инверсии, если она в наборе равна 0, и с инверсией, если она равна 1. | ||
== Пример == | == Пример == | ||
[[файл:СКНФ11.JPG]] | [[файл:СКНФ11.JPG]] | ||
− | == Другие формы: == | + | == [[Логическая функция|Другие формы:]] == |
− | + | {{Список ЛФор}} | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
== Ссылки == | == Ссылки == | ||
− | * [[Участник:Logic-samara]] | + | *[[Участник:Logic-samara]] |
− | [[Категория:Дискретная математика]][[Категория:Логика]] | + | [[Категория:Математика]][[Категория:Дискретная математика]][[Категория:Логика]] |
Текущая версия на 10:27, 13 января 2024
Совершенная конъюнктивная нормальная форма (СКНФ) для логической функции – это конъюнкция различных элементарных дизъюнкций всех аргументов (либо самих, либо их отрицаний) данной функции, причём в одинаковом порядке. При этом таблицы истинности для логической функции и её СКНФ совпадают.
Содержание
Обозначения
n – число аргументов функции;
(x1,x2,…,xn) – набор аргументов функции;
f(x1,x2,…,xn) – логическая функция;
fСКНФ(x1,x2,…,xn) – СКНФ логической функции;
arg[f(x1,x2,…,xn)=0] – фиксированный набор аргументов функции, обращающий функцию в 0;
argj[f(x1,x2,…,xn)=0] – значение аргумента xj в фиксированном наборе аргументов.
Формула
- Для логической функции выбираются лишь те комбинации, которые приводят логическое выражение в состояние нуля.
В элементарную дизъюнкцию записывается переменная без инверсии, если она в наборе равна 0, и с инверсией, если она равна 1.