Способы задания логических функций.

1. Табличный способ

Таблица, с помощью которой задается логическая функция, называется таблицей истинности.

2. Аналитический способ

Совершенная дизъюнктивная нормальная форма (СДНФ)

где х - логическая переменная, а - степень аргумента

Совершенная - это форма, при которой в каждую конъюнкцию входят все n переменных.

Пример

СДНФ:

ДНФ:

Правила перехода от табличной формы к СДНФ

1. В таблице истинности выбираем те наборы, где функция равна 1;

2. Для этих наборов записываем конъюнкцию;

3. Если переменная равна 0, то она в эту конъюнкцию входит с отрицанием, если равна 1 - то в прямом значении.

Совершенная конъюнктивная нормальная форма (СКНФ)

где х - логическая переменная, а - степень аргумента

Правила перехода от табличной формы к СКНФ

1. В таблице выбираем наборы, где функция равна нулю;

2. Для каждого набора записывается дизъюнкция переменных;

3. Если переменная равна 1, то она записывается с отрицанием, если переменная равна нулю - в прямом значении.

Пример