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