设L是非空集合，∧和＊是两个二元运算，1是L中的常元。给出了蕴涵半格（L；∧，＊，1）的一个极小方程基（1）（y＊2）＊（（z＊z）＊（y＊z））=1，（2）（z＊y）＊（（y＊z）＊z）=（y＊z）＊（（z＊y）＊y），（3）z＊（y＊z）=（x∧y）＊z，（4）（y＊1）＊x=x．作为......