In[]:=
Table[Tuples[{a},i],{i,4}]
Out[]=
{{{a}},{{a,a}},{{a,a,a}},{{a,a,a,a}}}
In[]:=
Groupings[#,{CircleTimes2,CirclePlus2,OverBar1}]&/@Table[Tuples[{a,b},i],{i,3}]
Out[]=
In[]:=
Cases[Equal@@@Tuples[Flatten[Groupings[#,{CircleTimes2,CirclePlus2,OverBar1}]&/@Table[Tuples[{a,b},i],{i,2}]],2],_Equal]
Out[]=
In[]:=
DepthLeafSort[%]
Out[]=
In[]:=
AxiomaticTheory["BooleanAxioms"]
Out[]=
a.⊗b.b.⊗a.,a.⊕b.b.⊕a.,a.⊗b.⊕a.,a.⊕b.⊗a.,a.⊗(b.⊕c.)a.⊗b.⊕a.⊗c.,a.⊕b.⊗c.(a.⊕b.)⊗(a.⊕c.)
∀
{a.,b.}
∀
{a.,b.}
∀
{a.,b.}
b.
∀
{a.,b.}
b.
∀
{a.,b.,c.}
∀
{a.,b.,c.}
In[]:=
FindEquationalProof[#,"BooleanAxioms"]&/@Take[%141,20]
Out[]=
$Aborted
First, determine true theorems using models.....