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?  

-Goethe


Reply via email to