| Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате |
| Форум программистов > Алгоритмы > Минимизация троичной функции |
| Автор: Kvanttt 4.7.2009, 13:50 |
| Есть несколько методов для минимизации двоичных функций (карты Карно, Квайна и др.), но они не подходят для логик, где больше двух состояний. Да что там: не то что минимизировать, а даже представить любую троичную функцию, заданной таблицей истинности (см. ниже), с помощью конъюнкции, дизъюнкции и отрицания я не знаю как x | y | f -------------- - | - | - -------------- - | 0 | + -------------- - | + | 0 -------------- 0 | - | 0 -------------- 0 | 0 | - -------------- 0 | + | + -------------- + | - | 0 -------------- + | 0 | + -------------- + | + | - -------------- Обозначения: - false; 0 unknown; + true |
| Автор: nworm 4.7.2009, 23:34 |
| Троичные функции реже встречаются, а так есть и для них стандартные способы представления. И минимизация этих функций тоже рассматривается. http://ternary.info есть ресурс, посвящённый этим вопросам. |
| Автор: nworm 4.7.2009, 23:54 |
| Что касается представления, там есть аналог совершенной ДНФ. Литература Яблонский С.В. Введение в дискретную математику. |