Re: [FWP] Love & Hate shenanigans

[Philip Newton <philip.newton@datenrevision.de>]

Ilmari Karonen wrote:
> On Wed, 28 Mar 2001, Philip Newton wrote:
> > Not quite. 'good' & 'bad' is a Bullean pair yielding 'bad', 
> > but 'good' & 'bad4' will not yield 'bad' nor 'bad4' -- it
> > gives 'bad$'. For length($a)>=length($b), your description
> > will hold, I think.
> 
> Um?  Your inequality holds for *all* Bullean pairs, since
> 
>   length($a & $b) == min(length($a), length($b))

OK so far

> and by definition for Bullean pairs
> 
>   ($a & $b) eq $b

Here is where I disagree. I didn't use that definition; rather, I have (($a
& $b) eq $b) || (($a & $b) eq $a) . Especially since Jasvir Nagra, in the
original post, stated:

> An interesting aside: 
> 1. Bulleans are commutative.

So 'good' & 'bad' is the same as 'bad' & 'good'. Is only one of
('good','bad') and ('bad','good') a Bullean pair? Who decides which one?

Cheers,
Philip
-- 
Philip Newton <Philip.Newton@datenrevision.de>
All opinions are my own, not my employer's.
If you're not part of the solution, you're part of the precipitate.

==== Want to unsubscribe from Fun With Perl?  Well, if you insist...
==== Send email to <fwp-request@technofile.org> with message _body_
====   unsubscribe