Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


Math Forum » Discussions » sci.math.* » sci.math.independent

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

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
fom

Posts: 1,969
Registered: 12/4/12
Re: fom - 03 - connectivity algebra
Posted: Dec 7, 2012 5:24 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

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
>





Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.