Пример:
Дана таблица истинности функции:
Решение:
1 На тех наборах переменных, где значение функции истинно, построим элементарные конъюнкции и соединим их дизъюнкциями, получим СДНФ:
F(х1,х2,х3,х4)= 
х1 
х1х2 
2 Составим карту Карно для функции 4-х переменных, занесем единицы в соответствующие клетки карты Карно. Объединим единицы контурами, охватывающими по 4 клетки:
3 Проведем упрощения, т.е. исключим члены, дополняющие друг друга до 1 внутри контура, переменные внутри контура связаны операцией конъюнкцией. Объединим оставшиеся члены (по одному в каждом контуре) операцией дизъюнкция. Получилась минимальная функция:
F(х1,х2,х3,х4)= 
Варианты задания:
Задание 4. Доказать или опровергнуть эквивалентность функций:
Пример:
