Re: A different definition of MINUS, part 4
From: paul c <toledobythesea_at_oohay.ac>
Date: Thu, 01 Jan 2009 16:13:09 -0800
Message-ID: <4Zc7l.105711$sC4.22824_at_newsfe04.iad>
Date: Thu, 01 Jan 2009 16:13:09 -0800
Message-ID: <4Zc7l.105711$sC4.22824_at_newsfe04.iad>
paul c wrote:
...
> <NXOR> B. Now I can try to express those clues in a different MINUS
> definition:
>
> R MINUS D is semantically equivalent to:
>
> ((R{HR1} <NXOR> R{HR2}) <AND> (<NOT> D)){HR}
> ...
Oops, just noticed a typo': the last line above (at the very least) should have read
((R{HR1} <NXOR> R{HR2}) <AND> (R{HR1} <AND> R{HR2}) <AND> (<NOT> D)){HR}