Условие задачи
1. Проверим двумя способами эквивалентность формул:
- составлением таблиц истинности;
- с помощью эквивалентных преобразований.
2. С помощью эквивалентных преобразований привести формулы к ДНФ, КНФ, СДНФ, СКНФ.
3. Построить многочлен Жегалкина.
4. Упростить функции алгебры логики, используя методы минимизации.
f1=¬(x→(y⊕z))→¬((x→y)↔(¬x→z));
f2=(x→(y⊕z))⋁((x→y)↓(x↔z)).
Ответ
1. Имеем
f1 = (x(yz))((xy)(xz)).
Строим таблицу истинности функции f1.
Из таблицы следует, что
Преобразуем заданную функцию.
Потяни
