Преобразовать данную формулу (∃x)a(x)→(∀x)b(x) во множество дизъюнктов.
переменные в дизъюнкте обозначаются буквами x,y; константы - a,b; функция - буквой f.
форма ответа: {дизъюнкт_1, дизъюнкт_2 дизъюнкт_n}
в качестве операции или вводите символ v.

Asa77    3   27.10.2019 09:49    13