Menu

#1 No brackets in logical expressions

open
nobody
None
6
2009-08-22
2009-08-18
No

Hello!
I have a problem concerning images of logical expressions. The images display no bracktes which, in most cases, causes no problems. In some cases the missing brackets can change the meaning of the statement:

The following MathML should evaluate to false ( ((NOT true) != true ) AND false )
<?xml version='1.0'?> <math xmlns:m='http://www.w3.org/1998/Math/MathML'>
<m:apply>
<m:and/>
<m:apply>
<m:neq/>
<m:apply>
<m:not/>
<m:cn type="boolean">FALSE </m:cn>
</m:apply>
<m:cn type="boolean">TRUE </m:cn>
</m:apply>
<m:cn type="boolean">FALSE </m:cn>
</m:apply>
</math>

This MathML on the other Hand should evaluate to true ( (NOT false) != (true AND false ) )
<?xml version='1.0'?> <math xmlns:m='http://www.w3.org/1998/Math/MathML'>
<m:apply>
<m:neq/>
<m:apply>
<m:not/>
<m:cn type="boolean">FALSE </m:cn>
</m:apply>
<m:apply>
<m:and/>
<m:cn type="boolean">TRUE </m:cn>
<m:cn type="boolean">FALSE </m:cn>
</m:apply>
</m:apply>
</math>

But still the same image ist generated (-> attachment)

Is there a simple way to force the generator to display brackets? Or am I doing something wrong?

Kind regards,
Konrad

Discussion

  • Konrad Scheel

    Konrad Scheel - 2009-08-18

    Formula

     
  • Max Berger

    Max Berger - 2009-08-22

    I can confirm this bug. Unfortunately I don't have the time to dig into it, so this is HELP WANTED.

    I have added the instructions on how to help out with content MathML:
    http://jeuclid.sourceforge.net/content.html

    Max

     
  • Max Berger

    Max Berger - 2009-08-22
    • priority: 5 --> 6
     

Log in to post a comment.