Уважаемые "ГУРУ"!!! Обьясните мне, пожалуйста, как выполнить минимизацию скнф расчетным методом. Как склеиваются (или упрощаются) конституенты, содержащие два отличных элемента, например 
(a+(-b)+c+d)((-a)+b+c+d), или (a(-b)cd)+((-a)bcd)?  За ранее огромное спасибо!!!