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