The propositions that are true. If a or b delete it becomes weird when both are true, because in conventional programming languages, b often isn't executed at all, since we don't care about the value of it. However, in this case you do need to execute it because you have to know if delete it reflects on a or both a and b.