A New Conception of Equality of Tautologies
Anahit A. Chubaryan, Armine Chubaryan · 2007
It is well-known that there are hard and simple tautolo- gies, but in the capacity of the logical functions they all are equal to each other. In our opinion this thesis is not entirely correct. We suggest a new conception of equality of tautologies, with the help of the notion of j-determinative conjunct, which was defined in (1) for every tautology j.