Boolean Circuit Execution

preview_player
Показать описание
Theory of Computation

6.2: Boolean Circuit Execution
- Defining the Boolean Circuit Computing Model
- What happens when an invalid circuit is evaluated?

David Evans and Nathan Brunelle
University of Virginia
Рекомендации по теме
Комментарии
Автор

This definition of gates that we can make progress on as all inputs being defined seems overly restrictive. For some gate types you can make progress even when some inputs are undefined - for AND, you can progress as soon as one of the inputs is defined as 0, for OR, you can progress as soon as one of the inputs is defined as 1, the undefined remaining inputs are irrelevant because they will not affect the output at all no?

hlavaatch