Закон двойного отрицания и правило преобразования разности в табличных алгебрах

Abstract

В работе найдены необходимые и достаточные условия, при которых в табличных алгебрах выполняются закон двойного отрицания и правило преобразования разности. Приведены примеры, иллюстрирующие данные критерии.

У роботі знайдено необхідні та достатні умови, за яких у табличних алгебрах виконуються закон подвійного заперечення та правило перетворення різниці. Наведені приклади, що ілюструють знайдені критерії.

In this paper is found the necessary and sufficient conditions due to which in table algebra are fulfilled the double complement law and the difference transformation rule. This conditions are illustrated in exemples.