Goethe wrote: > On Mon, 17 Mar 2008, comex wrote: >>>> Between when their voting periods begin and end, cast, and do >>>> not retract before the voting period ends, a ballot FOR the >>>> proposal God-emperor I, INSTEAD OF casting and not retracting >>>> a ballot FOR the proposal God-emperor II. > >> I opine NO WAY. >> >> I just have to not follow the instructions. >> >> ~(a & ~b) is ~a | b. > > I'm pretty sure that "instead" is *not* the same as ~(a & ~b). "Instead" > is (A if not B). Still, I'm not sure my version works either. What is > ~(A if not B), anyone?
A if not B = A or B not (A or B) = (not A) and (not B)
