Let () be a propositional Boolean algebra for denoting the propositional variables. The isomorphic polynomial boolean algebra is ~+, where

Two elements will be equivalent iff their images in are equal. Therefore, the following procedure checks whether and are equivalent.

*
equiv:=proc(alfa,beta)
if convert(expand(alfa-beta),mod2)=0
then print(YES) else print(NO) fi;
end;
*

Sun Apr 23 10:32:10 MDT 1995