Для выполнения действий с помощью логических операций И,ИЛИ,НЕ, в особенности минимизации числа логических схем функциональных узлов, используются таблицы истинности, булевы выражения, теоремы и некоторые стандартные формулы булевой алгебры Какие, например

  • Карты Карно
  • Перечисленные. формулы: b,c
  • Канонической суммы минтермов или стандартной суммы произведений
  • Канонического произведения макстермов или стандартного произведения сумм
  • Перечисленные, кроме стандартного произведения сумм, часто называемого совершенной коньюктивной нормальной формой

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.