Boolean Equations and Boolean Inequations

摘要

In this paper we consider Boolean inequations of the form f(X) ≠ 0. We also consider the system of Boolean inequation and Boolean equation f(X) ≠ O ∧ g(X) = 0 and we describe all the solutions of this system.