Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: fom - 03 - connectivity algebra
Replies: 4   Last Post: Dec 7, 2012 5:30 PM

 Messages: [ Previous | Next ]
 fom Posts: 1,968 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
>

Date Subject Author
12/7/12 fom
12/7/12 Graham Cooper
12/7/12 fom
12/7/12 Graham Cooper
12/7/12 fom