Re: NULLs: theoretical problems?

Jan Hidders <hidders_at_gmail.com> wrote in news:1187555898.287393.128980 _at_a39g2000hsc.googlegroups.com:  

> Such a construct also makes clear how the rules of logic can or cannot
> be applied. For example, what now looks at first sight like a
> tautology, namely "t.a < 5 or t.a >= 5", would then look like either
> "(DEF t.a : t.a < 5) OR (DEF t.a : t.a >= 5)" or "DEF t.a : (t.a < 5
> OR t.a >=5)". Both are equivalent with "DEF t.a : TRUE" but not with
> "TRUE". The logical rules for reasoning with this construct are not
> that difficult to see, and it avoids something like 3VL.
>
> -- Jan Hidders
>

I wonder what the truth tables for 'AND' and 'OR' would look like with the DEF operator. Could you show those tables ? Something like:

x y AND

u 0 ?
u 1 ?
u u ?
0 u ?
1 u ?