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

• Опубліковано в: : Искусственный интеллект
• Дата: 2013
• Автор: Сенченко, А.С.
• Формат: Стаття
• Мова: Russian
• Опубліковано: Інститут проблем штучного інтелекту МОН України та НАН України 2013
• Теми: Обучающие и экспертные системы
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/85160
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Закон двойного отрицания и правило преобразования разности в табличных алгебрах / А.С. Санченко // Искусственный интеллект. — 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.