General
Display information for equation id:math.5536.12 on revision:5536
* Page found: Negation normal form (eq math.5536.12)
(force rerendering)Cannot find the equation data in the database. Fetching from revision text.
Occurrences on the following pages:
Hash: 7c7b8176e3969a3457912245e73ba0a4
TeX (original user input):
A \vee \lnot B
TeX (checked):
A\vee \lnot B
LaTeXML (experimental; uses MathML) rendering
MathML (1.271 KB / 438 B) :
<math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle A\vee\lnot B}" display="inline">
<semantics id="p1.1.m1.1a">
<mrow id="p1.1.m1.1.5" xref="p1.1.m1.1.5.cmml">
<mi id="p1.1.m1.1.1" xref="p1.1.m1.1.1.cmml">A</mi>
<mo id="p1.1.m1.1.2" xref="p1.1.m1.1.2.cmml">∨</mo>
<mrow id="p1.1.m1.1.5.1" xref="p1.1.m1.1.5.1.cmml">
<mi mathvariant="normal" id="p1.1.m1.1.3" xref="p1.1.m1.1.3.cmml">¬</mi>
<mo id="p1.1.m1.1.5.1.1" xref="p1.1.m1.1.5.1.1.cmml"></mo>
<mi id="p1.1.m1.1.4" xref="p1.1.m1.1.4.cmml">B</mi>
</mrow>
</mrow>
<annotation-xml encoding="MathML-Content" id="p1.1.m1.1b">
<apply id="p1.1.m1.1.5.cmml" xref="p1.1.m1.1.5">
<or id="p1.1.m1.1.2.cmml" xref="p1.1.m1.1.2"/>
<ci id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">𝐴</ci>
<apply id="p1.1.m1.1.5.1.cmml" xref="p1.1.m1.1.5.1">
<times id="p1.1.m1.1.5.1.1.cmml" xref="p1.1.m1.1.5.1.1"/>
<not id="p1.1.m1.1.3.cmml" xref="p1.1.m1.1.3"/>
<ci id="p1.1.m1.1.4.cmml" xref="p1.1.m1.1.4">𝐵</ci>
</apply>
</apply>
</annotation-xml>
<annotation encoding="application/x-tex" id="p1.1.m1.1c">{\displaystyle A\vee\lnot B}</annotation>
</semantics>
</math>
SVG (2.773 KB / 1.294 KB) :
MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools) rendering
MathML (0 B / 8 B) :
SVG image empty. Force Re-Rendering
SVG (0 B / 8 B) :
PNG (0 B / 8 B) :
Translations to Computer Algebra Systems
Translation to Maple
In Maple:
Cannot translate operation \vee - Reason: An unknown or missing element occurred
Translation to Mathematica
In Mathematica:
Cannot translate operation \vee - Reason: An unknown or missing element occurred
Similar pages
Calculated based on the variables occurring on the entire Negation normal form page
Identifiers
MathML observations
0results
0results
no statistics present please run the maintenance script ExtractFeatures.php
0 results
0 results