Re: Distributivity in Tropashko's Lattice Algebra
From: Mikito Harakiri <mikharakiri_nospaum_at_yahoo.com>
Date: 17 Aug 2005 12:41:44 -0700
Message-ID: <1124307704.160742.285080_at_g44g2000cwa.googlegroups.com>
Date: 17 Aug 2005 12:41:44 -0700
Message-ID: <1124307704.160742.285080_at_g44g2000cwa.googlegroups.com>
vc wrote:
> To sum up, the three '1' '0' combinations are :
>
> 00 union A = 01
> 00 join A = 'a0' where 'a' is A's set of attrs.
>
> 01 union A = 01
> 01 join A = A
>
> 10 union A = A
> 10 join A = 10
Let see.
00 union B = 01
01 union A = 01
Therefore
00 union B = 01 union A
Let B = 00, then
00 union 00 = 01 union A
by idempotence
00 = 01 union A
Oops! A definition of 00. Let A = 01. Then
00 = 01 Received on Wed Aug 17 2005 - 21:41:44 CEST