Athree-valued generalization of the algebra of logic. The overcoming of the deficiencies of disjunctive normal form by means of a three-valued generalization of logic

The author shows the impossibility of using disjunctive normal form (DNF) of two-valued logic for expressing necessary implication and proposes to replace it with three-valued DNF of a generalized Boolean algebra.