fom
Posts:
1,031
Registered:
12/4/12
|
|
Re: fom - 03 - connectivity algebra
Posted:
Dec 7, 2012 5:24 AM
|
|
On 12/7/2012 3:32 AM, Graham Cooper wrote:
> On Dec 7, 5:25 pm, fom <fomJ...@nyms.net> wrote:
<snip>
>> NOR (NOR,NOR) = OR
((p NOR q) NOR (p NOR q)
T..F..T...T...T..F..T
T..F..F...T...T..F..F
F..T..F...F...F..T..F
F..F..T...T...F..F..T
p q | p OR q
------|--------
T T | T
T F | T
F F | F
F T | T
>
>
>
> Only some of these reduce
>
> LHS has 4 arguments = RHS has 2
>
> PREDICATE (16)
> / \
> LEFT ARG RIGHT ARG
> (16) (16)
>
> --- P ----- LA -----------RA
> if( and( and( A,B ) , and( C,D ) ) , ___ ).
> if( and( and( A,B ) , or( C,D )) , ___ ).
> ...
>
> e.g.
> if( and(if(A,B),if(B,C)) , if(A,C) ).
> if( and(or(A,B),if(B,C)) , or(A,C) ).
> if( and(and(A,B),if(B,C)) , and(A,C) ).
>
> e.g. line 1 is A->B ^ B->C --> A->C
> e.g. line 2 is AvB ^ ~BvC --> AvC
>
> Herc
>
|
|
