Re: A different definition of MINUS, Part 3

paul c wrote:
....
I believe my previous arguments allow me to take the expressions in the first and third lines above and add appropriate projections, eg;

R' = (A <AND> <NOT> (( (A <AND> B) <OR> <NOT> (A <AND> B) ) <AND> D )) {HA}
<AND>
(B <AND> <NOT> (( (A <AND> B) <OR> <NOT> (A <AND> B) ) <AND> D )) {HA}
...

typo': that second projection {HA} should read {HB}.
.