Трехзначное обобщение алгебры логики. Преодоление несовершенности ДНФ трехзначным обобщением логики

Автор показывает невозможность использования дизъюнктивной нормальной формы (ДНФ) двузначной логики для выражения необходимого следования и предлагает заменить ее трехзначной ДНФ обобщенной булевой алгебры.