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

• Veröffentlicht in: Искусственный интеллект
• Datum: 2013
• 1. Verfasser: Сенченко, А.С.
• Format: Artikel
• Sprache: Russisch
• Veröffentlicht: Інститут проблем штучного інтелекту МОН України та НАН України 2013
• Schlagworte: Обучающие и экспертные системы
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/85160
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Закон двойного отрицания и правило преобразования разности в табличных алгебрах / А.С. Санченко // Искусственный интеллект. — 2013. — № 2. — С. 139–144. — Бібліогр.: 3 назв. — рос.

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