利用F(S)中(x)运算的定义给出了F(S)关于逻辑等价(可证等价)～所得的商代数F(S)/～中的(x)运算,在F(s)/～中定义了(x)滤子,讨论了(x)滤子......