The attachment feature appears to be broken in these forums, so I posted a sample to
http://web.me.com/tlmurray/filechute/WierdStates.logicThe file has three samples of the same thing: If either one or both of the preconditions are true, then the resulting state is State X. The top two work okay.
But the bottom one appears incorrect. No matter whether the preconditions are true or false, the result is always 50 percent. This one is the reduced result of a larger diagram where I was messing around with edge weights and annotations, and doing a lot of of shuffling things around. I was not getting the result I expected, so I turned all edge weights to zero, removed annotations, and removed nodes until I was left with only three, so Flying Logic may have simply become confused.