Thank you for the exposition, very helpful!

On 03/13/2013 09:58 PM, Alan Manuel Gloria wrote:
> To help clarify this, please consider:
>
> a b c d
>
> ===>
>
> a
> ! b
> ! c
> ! d
>
> By symmetry:
>
> a b . d
> ===>
> a
> ! b
> ! .
> ! d
>
> And so:
>
> a b . (x y)
> ===>
> a
> ! b
> ! .
> ! (x y)
>
> And since:
>
> <*
> x
> y
> *>
> <==>
> (
> x
> y
> )
>
> Then:
>
> a b . (
> x
> y
> )
> ===>
> a
> ! b
> ! .
> ! (
> x
> y
> )
> ===>
> a
> ! b
> ! .
> ! <*
> x
> y
> *>
>
> Which is also equivalent to:
>
> a b . <*
> x
> y
> *>
>