Jump to navigation Jump to search

General

Display information for equation id:math.247552.29 on revision:247552

* Page found: Tautology (logic) (eq math.247552.29)

(force rerendering)

Occurrences on the following pages:

Hash: 14946530d81461bd959d6e90f3251468

TeX (original user input): 

(A \land B) \lor (\lnot A) \lor (\lnot B)

TeX (checked): 

(A\land B)\lor (\lnot A)\lor (\lnot B)

LaTeXML (experimental; uses MathML) rendering

MathML (3.104 KB / 644 B) :

( A ∧ B ) ∨ ( ¬ ⁢ A ) ∨ ( ¬ ⁢ B ) 𝐴 𝐵 𝐴 𝐵 {\displaystyle(A\land B)\lor(\lnot A)\lor(\lnot B)} 
<math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle(A\land B)\lor(\lnot A)\lor(\lnot B)}" display="inline">
  <semantics id="p1.1.m1.1a">
    <mrow id="p1.1.m1.1.16" xref="p1.1.m1.1.16.cmml">
      <mrow id="p1.1.m1.1.16.1" xref="p1.1.m1.1.16.1.2.cmml">
        <mo stretchy="false" id="p1.1.m1.1.1" xref="p1.1.m1.1.16.1.2.cmml">(</mo>
        <mrow id="p1.1.m1.1.16.1.2" xref="p1.1.m1.1.16.1.2.cmml">
          <mi id="p1.1.m1.1.2" xref="p1.1.m1.1.2.cmml">A</mi>
          <mo id="p1.1.m1.1.3" xref="p1.1.m1.1.3.cmml">∧</mo>
          <mi id="p1.1.m1.1.4" xref="p1.1.m1.1.4.cmml">B</mi>
        </mrow>
        <mo stretchy="false" id="p1.1.m1.1.5" xref="p1.1.m1.1.16.1.2.cmml">)</mo>
      </mrow>
      <mo id="p1.1.m1.1.6" xref="p1.1.m1.1.6.cmml">∨</mo>
      <mrow id="p1.1.m1.1.16.2" xref="p1.1.m1.1.16.2.2.cmml">
        <mo stretchy="false" id="p1.1.m1.1.7" xref="p1.1.m1.1.16.2.2.cmml">(</mo>
        <mrow id="p1.1.m1.1.16.2.2" xref="p1.1.m1.1.16.2.2.cmml">
          <mi mathvariant="normal" id="p1.1.m1.1.8" xref="p1.1.m1.1.8.cmml">¬</mi>
          <mo id="p1.1.m1.1.16.2.2.1" xref="p1.1.m1.1.16.2.2.1.cmml">⁢</mo>
          <mi id="p1.1.m1.1.9" xref="p1.1.m1.1.9.cmml">A</mi>
        </mrow>
        <mo stretchy="false" id="p1.1.m1.1.10" xref="p1.1.m1.1.16.2.2.cmml">)</mo>
      </mrow>
      <mo id="p1.1.m1.1.6a" xref="p1.1.m1.1.6.cmml">∨</mo>
      <mrow id="p1.1.m1.1.16.3" xref="p1.1.m1.1.16.3.2.cmml">
        <mo stretchy="false" id="p1.1.m1.1.12" xref="p1.1.m1.1.16.3.2.cmml">(</mo>
        <mrow id="p1.1.m1.1.16.3.2" xref="p1.1.m1.1.16.3.2.cmml">
          <mi mathvariant="normal" id="p1.1.m1.1.13" xref="p1.1.m1.1.13.cmml">¬</mi>
          <mo id="p1.1.m1.1.16.3.2.1" xref="p1.1.m1.1.16.3.2.1.cmml">⁢</mo>
          <mi id="p1.1.m1.1.14" xref="p1.1.m1.1.14.cmml">B</mi>
        </mrow>
        <mo stretchy="false" id="p1.1.m1.1.15" xref="p1.1.m1.1.16.3.2.cmml">)</mo>
      </mrow>
    </mrow>
    <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b">
      <apply id="p1.1.m1.1.16.cmml" xref="p1.1.m1.1.16">
        <or id="p1.1.m1.1.6.cmml" xref="p1.1.m1.1.6"/>
        <apply id="p1.1.m1.1.16.1.2.cmml" xref="p1.1.m1.1.16.1">
          <and id="p1.1.m1.1.3.cmml" xref="p1.1.m1.1.3"/>
          <ci id="p1.1.m1.1.2.cmml" xref="p1.1.m1.1.2">𝐴</ci>
          <ci id="p1.1.m1.1.4.cmml" xref="p1.1.m1.1.4">𝐵</ci>
        </apply>
        <apply id="p1.1.m1.1.16.2.2.cmml" xref="p1.1.m1.1.16.2">
          <times id="p1.1.m1.1.16.2.2.1.cmml" xref="p1.1.m1.1.16.2.2.1"/>
          <not id="p1.1.m1.1.8.cmml" xref="p1.1.m1.1.8"/>
          <ci id="p1.1.m1.1.9.cmml" xref="p1.1.m1.1.9">𝐴</ci>
        </apply>
        <apply id="p1.1.m1.1.16.3.2.cmml" xref="p1.1.m1.1.16.3">
          <times id="p1.1.m1.1.16.3.2.1.cmml" xref="p1.1.m1.1.16.3.2.1"/>
          <not id="p1.1.m1.1.13.cmml" xref="p1.1.m1.1.13"/>
          <ci id="p1.1.m1.1.14.cmml" xref="p1.1.m1.1.14">𝐵</ci>
        </apply>
      </apply>
    </annotation-xml>
    <annotation encoding="application/x-tex" id="p1.1.m1.1c">{\displaystyle(A\land B)\lor(\lnot A)\lor(\lnot B)}</annotation>
  </semantics>
</math>

SVG (5.445 KB / 1.865 KB) :

left-parenthesis upper A logical-and upper B right-parenthesis logical-or left-parenthesis normal not-sign times upper A right-parenthesis logical-or left-parenthesis normal not-sign times upper B right-parenthesis

SVG (MathML can be enabled via browser plugin) rendering

MathML (916 B / 354 B) :

( A ∧ B ) ∨ ( ¬ A ) ∨ ( ¬ B ) {\displaystyle (A\land B)\lor (\lnot A)\lor (\lnot B)} 
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle (A\land B)\lor (\lnot A)\lor (\lnot B)}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mo stretchy="false">(</mo>
        <mi>A</mi>
        <mo>&#x2227;<!-- ∧ --></mo>
        <mi>B</mi>
        <mo stretchy="false">)</mo>
        <mo>&#x2228;<!-- ∨ --></mo>
        <mo stretchy="false">(</mo>
        <mi mathvariant="normal">&#x00AC;<!-- ¬ --></mi>
        <mi>A</mi>
        <mo stretchy="false">)</mo>
        <mo>&#x2228;<!-- ∨ --></mo>
        <mo stretchy="false">(</mo>
        <mi mathvariant="normal">&#x00AC;<!-- ¬ --></mi>
        <mi>B</mi>
        <mo stretchy="false">)</mo>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle (A\land B)\lor (\lnot A)\lor (\lnot B)}</annotation>
  </semantics>
</math>

SVG (3.83 KB / 1.655 KB) :

{\displaystyle (A\land B)\lor (\lnot A)\lor (\lnot B)}

Translations to Computer Algebra Systems

Translation to Maple

In Maple:

Translation to Mathematica

In Mathematica:

Similar pages

Calculated based on the variables occurring on the entire Tautology (logic) page

Identifiers

MathML observations

0results

0results

no statistics present please run the maintenance script ExtractFeatures.php

0 results

0 results

Retrieved from "https://en.formulasearchengine.com/wiki/Special:FormulaInfo"