<div class="gmail_quote">On Thu, Feb 26, 2009 at 11:12 AM, Raimo Niskanen <span dir="ltr"><<a href="mailto:raimo%2Beeps@erix.ericsson.se">raimo+eeps@erix.ericsson.se</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
On Thu, Feb 26, 2009 at 10:55:34AM +0100, Pierpaolo Bernardi wrote:<br>
> On Thu, Feb 26, 2009 at 10:35 AM, Raimo Niskanen <<br>
> <a href="mailto:raimo%2Beeps@erix.ericsson.se">raimo+eeps@erix.ericsson.se</a> <<a href="mailto:raimo%252Beeps@erix.ericsson.se">raimo%2Beeps@erix.ericsson.se</a>>> wrote:<br>
><br>
><br>
> > Can you explain to a non-mathematician (me) why you have defined<br>
> > (E1 /\ E2) as min(E1, E2) and<br>
> > (E1 \/ E2) as max(E1, E2). To me it seems counterintuitive<br>
> > since /\ looks like a mountain hence max<br>
> > and \/ looks like a valley hence min.<br>
> > And I do not want to fully understand Lattice theory<br>
> > to understand which operator is which. I am a simple programmer.<br>
><br>
><br>
> It's not ROK's invention it's common mathematical usage (derived from<br>
> Boolean algebra, I think).<br>
><br>
> The symbol  \/ derives from the letter V, abbreviation of "vel" (= or in<br>
> latin).<br>
><br>
> I'm not sure where /\ comes from (maybe an inverted V?)<br>
<br>
Yes I am quite familiar with /\ being AND and \/ being OR.<br>
That is in the basic math courses at University.</blockquote><div><br></div><div>I meant, it's common to use these symbols for min and max, </div><div>like they are used in boolean algebra.</div><div><br></div><div>In an algebra on the values true and false, where true and false are ordered, </div>
<div>with false < true, the operation OR is the same as MAX and AND is the same</div><div>as MIN. </div><div><br></div><div>(Think false = 0, true = 1, and all will snap in place :)</div><div><br></div><div>P.<br></div>
<div><br></div></div>