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
Formula
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