 |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
Двухместные операции над высказываниями и чепе
|
|
| Операция | Обозначение | Формула |
| НЕ (логическое отрицание, инверсия) ИЛИ (логическая сумма, дизъюнкция) И (логическое Произведение, конъюнкция) Импликация Эквивалентность | — + * ® « | А̅=1—А A + B = max(A,B) (4.1) A*B = min(A,B) (4.1, а) A ® B = A̅ + B (4.2) А «В = (А ® B)*(B ® А) = = A*B = А̅ *В̅ (4.2, а) |
Примечание. Для упрощения записи знак. часто опускают, например, вместо А*В*С пишут AВС.
Карта Карно состоит из квадратных ячеек, каждая из которых соответствует одному из 2n одночленов, порожденных п переменными. На рис. 4.1 представлена карта Карно для трех переменных. Значения переменных обозначают с внешней стороны карты посредством цифр двоичной системы счисления: 1 соответствует прямому значению переменной, 0—инверсионному. Например, пересечение значений XY== 01 и Z= 1 соответствует конъюнкции X*Y*Z.
Карты Карно обычно заполняют в следующем порядке.
1. Преобразуют логическую функцию к дизъюнкции конъюнктивных составляющих, которые обычно располагают в алфавитном порядке и нумеруют.
Рис 4.1. Карта Карно для трех переменных
2 В ячейках, соответствующих первой конъюнктивной составляющей, ставят единицы, затем находят ячейки, соответствующие второй конъюнктивной составляющей, и если среди них есть ячейки, в которых не проставлена единица, то последнюю проставляют. После чего переходят к нахождению ячеек следующей конъюнктивной оставляющей. Таким образом все конъюнктивные составляющие функции оказываются нанесенными на карту Карно.
Таблица 4.2.
Дата публикования: 2015-07-22; Прочитано: 213 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!
