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

• Published in: Искусственный интеллект
• Date: 2013
• Main Author: Сенченко, А.С.
• Format: Article
• Language: Russian
• Published: Інститут проблем штучного інтелекту МОН України та НАН України 2013
• Subjects: Обучающие и экспертные системы
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/85160
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Закон двойного отрицания и правило преобразования разности в табличных алгебрах / А.С. Санченко // Искусственный интеллект. — 2013. — № 2. — С. 139–144. — Бібліогр.: 3 назв. — рос.

В работе найдены необходимые и достаточные условия, при которых в табличных алгебрах выполняются закон двойного отрицания и правило преобразования разности. Приведены примеры, иллюстрирующие данные критерии. У роботі знайдено необхідні та достатні умови, за яких у табличних алгебрах виконуються закон подвійного заперечення та правило перетворення різниці. Наведені приклади, що ілюструють знайдені критерії. 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.