Only on the cases, e.g. input values, where they aren't both defined. That isn't failure. You're looking at the value of the proposition when the preconditions aren't satisfied, we all know what happens :-)