有限代数运算律的计算机检验法

本文提出了有限代数运算律的列表检验方法，并给出计算机程序，使用此法简便，明了，可以大大减少计算和书写的工作量。