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