... , satisfied, etc. Simply stating A or B, requires by its very definition ... at least one of A or B.
I think ... , but in the original statement "A or B, but not both" there ... the case that A implies B" as opposed to "A implies B," which, I ...