
- •Алгебра логики
- •Поразрядные операции
- •Основные законы алгебры логики
- •Т ождества
- •Правила поглощения и склеивания
- •Переход от табличной формы функции алгебры логики к аналитической Запись функции по единицам
- •Запись функции по нулям
- •Логические функции от двух аргументов
- •Стрелка Пирса
- •Функция следования (импликация от a к b)
- •Функция эквивалентность
- •Штрих Шеффера
- •Приоритет основных логических операций
- •Минимизация функций алгебры логики с помощью карт Карно
- •Правило записи функции по карте Карно по единицам
- •Запись функции по нулям
- •Правило записи функции по карте Карно по нулям
Запись функции по нулям
X |
Y |
Z |
F |
|
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |

На основе этого примера можно сформулировать правило записи функци по таблице истинности по нулям: для каждой строки таблицы истинности, в которой функция равна 0, записать сумму всех переменных, причем если значение переменной в текущем наборе равно 1, то она записывается с отрицанием; полученные суммы перемножить.
Правило записи функции по карте Карно по нулям
Для каждой прямоугольной
группы нулей
размером 2n
записать сумму
тех переменных, значение которых не
изменяется при переходе из клеточки
в клеточку в группе, причем если
значение переменной для данной группы
равно 1, то она записывается
с отрицанием. Полученные
суммы перемножить. Для
карты Карно, приведенной на рисунке
результатом будет