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