Дизъюнктивный терм (макстерм) - это логическая функция, связывающая все переменные в прямой или инверсной форме, т.е. литералы, знаком дизъюнкции

Переменные и их инверсии часто называют литералами.

Лекция №10. Основные понятия алгебры логики. (Продолжение)

Табличный способ максимально наглядный, но в случае сложных функций алгебры логики (ФАЛ) достаточно некомпактный. Проще выглядит аналитическая запись в виде формул.

При работе с функциями алгебры логики используются следующие понятия:

2) Терм - это группа логических переменных в прямой или инверсной форме, т.е. группа литерал, объединенных одним и тем же знаком логической связки: логического сложения или же логического умножения. В терме каждая переменная или ее отрицание встречается только один раз, т.е. в терм может входить или переменная, или ее отрицание.

Например,

Дата добавления: 2014-01-07