Post Inequations
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) not equal 0, where f is a Post polynomial. The basic idea in this paper is: the inequation f (X) not equal 0 means that there exists p such that f (X) = p and p not equal 0. The solution of a Post inequation can be reduced to the solution of two Post equations.
inequation equation post algebra