In[]:=
AxiomaticTheory["BooleanAxioms"]
Out[]=

∀
{a.,b.}
a.⊗b.b.⊗a.,
∀
{a.,b.,c.}
a.⊗(b.⊕c.)a.⊗b.⊕a.⊗c.,
∀
{a.,b.}
a.⊕b.⊗
b.
a.,
∀
{a.,b.}
a.⊗b.⊕
b.
a.,
∀
{a.,b.}
a.⊕b.b.⊕a.,
∀
{a.,b.,c.}
a.⊕b.⊗c.(a.⊕b.)⊗(a.⊕c.)
In[]:=
AxiomaticTheoryTWP[AxiomaticTheory["BooleanAxioms"]]
Out[]=
a_⊗b_b_⊗a_,a_⊗(b_⊕c_)a_⊗b_⊕a_⊗c_,a_⊕b_⊗
b_
a_,a_⊗(b_⊕
b_
)a_,a_⊕b_b_⊕a_,a_⊕b_⊗c_(a_⊕b_)⊗(a_⊕c_)
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

Group theory

Monoid

Abelian group

Group Theory

Semigroup