Условие задачи
1. Проверить двумя способами эквивалентность формул:
- Составлением таблиц истинности;
- с помощью эквивалентных преобразований.
2. С помощью эквивалентных преобразований привести формулы к ДНФ, КНФ, СДНФ, СКНФ,
3. Построить многочлен Жегалкина.
4. Упростить функции алгебры логики, используя методы минимизации.
5. Проверить, является ли полной данная система функций. Образует ли она базис?
6. Составить контактную схему для формул.
Ответ
Составим таблицы истинности для заданных функций.
Формулы не эквивалентны.
2. Преобразуем формулы, используя следующие соотношения: