You are using a browser not supported by the Wolfram Cloud
Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.
I understand and wish to continue anyway »
WOLFRAM NOTEBOOK
In[]:=
AxiomaticTheory["BooleanAxioms"]
Out[]=
a.⊗b.b.⊗a.,a.⊗(b.⊕c.)a.⊗b.⊕a.⊗c.,a.⊕b.⊗a.,a.⊗b.⊕a.,a.⊕b.b.⊕a.,a.⊕b.⊗c.(a.⊕b.)⊗(a.⊕c.)
∀
{a.,b.}
∀
{a.,b.,c.}
∀
{a.,b.}
b.
∀
{a.,b.}
b.
∀
{a.,b.}
∀
{a.,b.,c.}
In[]:=
AxiomaticTheoryTWP[AxiomaticTheory["BooleanAxioms"]]
Out[]=
a_⊗b_b_⊗a_,a_⊗(b_⊕c_)a_⊗b_⊕a_⊗c_,a_⊕b_⊗a_,a_⊗(b_⊕)a_,a_⊕b_b_⊕a_,a_⊕b_⊗c_(a_⊕b_)⊗(a_⊕c_)
b_
b_
In[]:=
AccumulativeTokenEventGraph[AxiomaticTheoryTWP[AxiomaticTheory["BooleanAxioms"]],1,"TokenLabeling"->True]
Out[]=
In[]:=
AccumulativeTokenEventGraph[AxiomaticTheoryTWP[AxiomaticTheory["BooleanAxioms"]],1,"TokenLabeling"->True,AspectRatio->1]
Out[]=
In[]:=
AccumulativeTokenEventGraph[AxiomaticTheoryTWP[AxiomaticTheory["BooleanAxioms"]],1,"TokenLabeling"->False,AspectRatio->1]
Out[]=
In[]:=
AccumulativeTokenEventGraph[AxiomaticTheoryTWP[AxiomaticTheory["BooleanAxioms"]],1,"TokenLabeling"->False,GraphLayout->"SpringElectricalEmbedding"]
Out[]=
Boolean algebra
Boolean algebra
Group theory
Group theory
Monoid
Monoid
Abelian group
Abelian group
Group Theory
Group Theory
Semigroup
Semigroup