Let us consider the pseudo-Boolean algebra (M; ∧, ∨, ⊃, ¬), where ⊃ is relative pseudo-complement, and ¬ is pseudo-complement. We say that the system of pseudo-Boolean terms on the set of variables X (Ω – words over X ) ...