[Росдистант] Для предикатов, заданных на R, выяснить, является ли первый предикат следствием второго, а второй - следствием первого: "sinx=-1", "x^2+3=0".

1. Главная
2. Заказы
3. Задача
4. [Росдистант] Для предикатов, заданных на R, выяснить, является ли первый предикат следствием второго, а второй - следствием первого: "sinx=-1", "x^2+3=0".