On Monday 14 July 2008 06:22:28 pm ihope wrote: > On Mon, Jul 14, 2008 at 7:06 PM, Ian Kelly <[EMAIL PROTECTED]> wrote: > > As an aside, your statement could also be parsed as (I => (R ^ > > ~G)) ^ (~I => (~R ^ G)), which is false for any assignment of I. > > Assuming ^ is XOR and R and G are both false, that expression you > devised is false for all I. The statement I actually made is true if > and only if I initiated the CFJ.
I assumed ^ meant AND, which also yields ((~R ^ ~G) => ~S).
