Предлагаю автоматический поиск и проверку логических функций
на Excel
Копируя логические элементы собираем необходимую функцию,
строим таблицу, в листе 1 (жмем на ярлык внизу) находим СДНФ функции, затем в
листах А и В строим логическую схему и упрощаем, проверяем, в итоге получим:
А) = ¬X&Y
Б) = (Y·Z)v(X·¬Y)
Скачать вложение Excel (XLS)