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

• 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 назв. — рос.

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