Баxa
Упрощение СДНФ
Упростить по СДНФ
(-X1*-X2*-X3)V(-X1*X2*-X3)V(-X1*X2*X3)V(X1*X2*X3)
И как проверить полученный результат?
Упростить по СДНФ
(-X1*-X2*-X3)V(-X1*X2*-X3)V(-X1*X2*X3)V(X1*X2*X3)
И как проверить полученный результат?
Проверка делается так: считается эта функция и построенная. Если совпадает - успех.