Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sav08:sign_analysis_of_expressions_and_programs [2008/05/07 00:04] vkuncak |
sav08:sign_analysis_of_expressions_and_programs [2008/05/07 00:04] vkuncak |
||
---|---|---|---|
Line 20: | Line 20: | ||
++++| | ++++| | ||
\[ | \[ | ||
- | (pos \oplus (pos \otimes neg)) \otimes pos = (pos \oplus neg) \otimes pos = \bottom \otimes pos = \bottom | + | (pos \oplus (pos \otimes neg)) \otimes pos = (pos \oplus neg) \otimes pos = \bot \otimes pos = \bot |
\] | \] | ||
++++ | ++++ | ||