ответьте на вопросы.
1) какой будет двойственная формула для формулы:
((а → b) v (c & a)) ~ (b → a)?
2) является ли высказыванием формула:
a & (∀ x p(x, y) v ∃y p(x, y))
3) какой будет выход заданного конечного автомата, если на выход подается заданная последовательность?
4) чем отличается контур от цикла?
5) как реализуется операция удаления вершины в графе?
6) что такое кратчайший путь в ориентированном графе?
7) как определяется минимальная логическая схема?