Як зазначали інші, математично твердження точно такі ж, а додатковий термін - "зайвий". Для мене також було б "зайвим" копіювати тут свої математичні докази.
Ви також можете легко переконатися, що твердження є рівнозначними, склавши 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, глюк відновлюється. Але, якби це були деякі форми динамічної логіки, вона могла б поширити помилку.
Додавання зайвого терміна - це рішення для покриття глюку.