Как указывали другие, математически утверждения точно такие же, и дополнительный термин является «избыточным». Для меня также было бы «излишним» копировать их математические доказательства здесь.
Вы также можете легко проверить эквивалентность утверждений, составив таблицу истинности из 8 строк для трех комбинаций входных данных.
A B C A*B + A'*C A*B + A'*C + B*C
0 0 0 0 0
0 0 1 1 1
0 1 0 0 0
0 1 1 1 ** hazard b/w states 1
1 0 0 0 0
1 0 1 0 0
1 1 0 1 1
1 1 1 1 ** hazard b/w states 1
Цель дополнительного термина состоит в том, чтобы препятствовать тому, чтобы A вызвал любое переключение, когда и B и C высоки.
В качестве примера, предположим, что между A и A 'существует конечная задержка (разумно). Теперь также учтите, что оба B и C равны '1'. Как вы можете видеть на графиках ниже, на выходе есть сбой.
Предполагая, что логика является статической CMOS, глюк исправим. Но если бы это были некоторые формы динамической логики, это могло бы распространить ошибку.
Добавление избыточного термина является решением для устранения этой проблемы.