Propagation through (A & B) | (B & ~C)

A beginner view of event-based simulation: when an input changes, only the affected gates re-evaluate, and updates ripple level by level.
Queue: empty
Circuit
Event queue (left is next)
What just happened?
Pick the next input combination with the selects. That change is applied together when you click Process next event. Any signal flips ripple through the queue until it is empty.
B feeds both AND gates, so changing B schedules both. If either AND output changes, the OR gate is scheduled to update the final output.