Выберите результат резолюции над дизъюнктами(A∨B(A∨B( A\vee B ) и (¬A∨ D∨¬E(¬A∨ D∨¬E (\lnot A\vee\ D\vee \lnot E )