This [Circuit A] is allowed in Digital:
This [Circuit B] is also allowed:
Until I turn off one of the inputs:
This [Circuit C] causes a different error, depending on whether the input is on or off.
When it is off - I get an error about oscillation:
When the input is on - I get an error about a short circuit:
My questions are:
Is [Circuit A] actually valid, i.e., would it not lead to a short circuit in real life? Or is Digital incorrectly not detecting this as error?
Is [Circuit B] valid (i.e. no short circuit) as long as the inputs are both on or off?
It's clear to me that [Circuit C] is invalid, but I wonder if Digital points out the correct consequences in the error messages. Would the circuit really oscillate when the input is off, and short when the input is on? And if so - why the difference in behavior?