Установите соответствие между названием метода решения логических уравнений и его описанием.

• Объекты 1
  • Данный метод позволяет не строить все дерево полностью, но понять при этом, сколько оно будет иметь ветвей.
  • Данный метод позволяет упростить систему уравнений, сократив количество неизвестных. Новые переменные должны быть независимыми друг от друга. После решения упрощенной системы надо снова вернуться к первоначальным переменным.
• Объекты 2
  • Метод рассуждений
  • Метод замены переменных