Post Inequations
Dragic Bankovic
In the paper [5] all the solutions of Boolean inequation were described. In this paper we generalize the result from [5] to Post inequations i.e. to ineqations of the form f (X) ≠ 0, where f is a Post polynomial. The basic idea in this paper is: the inequation f (X) ≠ 0 means that there exists p such that f (X) = p and p ≠ 0. The solution of a Post inequation can be reduced to the solution of two Post equations.
Keywords: Post algebra, equation, inequation
AMS (2000) Subject Classification: 03G20