Re: Idempotence and "Replication Insensitivity" are equivalent ?

Marshall ha scritto:
> >
> > So f is NOT idempotent
>
> Correct.
>
>
> > 2.
> > f is "duplication insensitive".
>
> Incorrect.
>
> Consider {|T, F|}
>
> Nor folded over {|T, F|}
> = NOR(T, F)
> = F
>
> Now duplicate the T element: {|T, T, F|}
> = T

Hi Marshall :) , Hmmm,

  T T F should evaluate to F
  T would be in contrast with NOR definition:

"A predicate in logic equivalent to the composition NOT OR that yields false (F) if ANY condition is true, and true (T) if ALL conditions are false. "

  take a look:
  http://mathworld.wolfram.com/NOR.html

> Marshall
Received on Tue Sep 19 2006 - 21:09:04 CEST