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