利用F（S）中О运算的定义给出了F（S）关于逻辑等价（可证等价）～所得的商代数F（s）／～中的О运算，在F（s）／～中定义了О滤子，讨论了。滤子的性质，得到了F（s）／～中的......