Академический Документы
Профессиональный Документы
Культура Документы
Informatika 1 Trimestr
Informatika 1 Trimestr
логических
выражений
ПОДГОТОВИЛ БОЛОТОВ ФЁДОР, 9Ф8
Введение
Упрощение логических выражений — это замена их на равнозначные на базе
законов алгебры логики с целью получения высказываний более простой
формы.
Базовые операции:
Инверсия (отрицание) Конъюнкция (логическое Дизъюнкция (логическое
умножение) сложение)
НЕ, Неверно, что… И ИЛИ
¬A А Л В, A & B АVB
Импликация(следование) Если…,то… A B
Эквивалентность(равносильность) Тогда и только тогда, когда…
A BA B
Законы и правила упрощения
логических выражений
Пример
Необходимо упростить следующее логическое выражение:
1. X & Y V X & Y ̅& ZV Y ̅& X& Z ̅ V X & Z ̅
2. XY + XY ̅ Z +Y ̅X Z ̅ + X Z ̅
3. XY + X Y ̅ (Z + Z ̅) + X Z ̅ = XY + X Y ̅ + X * Z ̅
4. X (Y + Y ̅ + Z ̅) = X (1+ Z ̅) = X* 1 = X
Делаем вывод, что X & Y V X & Y ̅& ZV Y ̅& X& Z ̅ V X & Z ̅= X
Спасибо за внимание!