Блог

У меня возникли проблемы с упрощением этого логического выражения: A’B A’D’ BD (т. Е. Не A и B или Не A и Не D или B и D).

Используя K-карты, я знаю, что это должно быть упрощено до A’D’ BD. Использование онлайн-логического оценщика также подтвердило это. Однако, похоже, я не могу получить это, используя логические идентификаторы. Я уверен, что как только я это увижу, это станет очевидным, но сейчас я просто застрял. Есть какие-нибудь идеи? Заранее спасибо.

Ниже приведен пошаговый вывод от A’B A’D’ BD до A’D’ BD.

 A'B   A'D'   BD                   // original expression
=== A'B1   A'D'   BD              // 1 (true) is identity element
=== A'B(D D')   A'D'   BD         // D D' is true
=== (A'BD   A'BD')   A'D'   BD    // distribution
=== A'BD   A'BD'   A'D'   BD      // association
=== A'D'   A'BD'   BD   A'BD      // commutation
=== A'D'   A'D'B   BD   BDA'      // commutation
=== (A'D'   A'D'B)   (BD   BDA')  // association
=== A'D'   BD                     // absorption (2x)