Операции импликация, эквивалентность. Примеры законов алгебры логики. Эквивалентные преобразования логических выражений
Содержание
- 2. Импликация (логическое следование ) образуется соединением двух высказываний в одно с помощью оборота речи «если …,
- 3. Эквивалентность (логическое равенство) образуется соединением двух высказываний в одно при помощи оборота речи «… тогда и
- 4. Алгебра логики Алгебра логики (алгебра высказываний) — раздел математической логики, в котором изучаются логические операции над
- 5. Базовыми элементами, которыми оперирует алгебра логики, являются высказывания. Высказывания строятся над множеством {B, {\displaystyle \lnot }\lnot
- 6. Функционально полный набор логических операций СКНФ – совершенная конъюнктивная нормальная форма, такая форма, в которой нет
- 7. Пример 1.j 6(x1, x2) = j 1(j 7(x1, x2) ù j 7(x1, x2)) (где j -
- 8. 0 =1, 1 = 0 это свойства булевых операций с константами 7) xÙ y = yÙ
- 9. Построение логического выражения с данной таблицей истинности. Приоритет операций Отрицание – Конъюнкция – Строгая дизъюнкция –
- 10. Таблицы истинности СТРОГАЯ ДИЗЪЮНКЦИЯ ОТРИЦАНИЕ ДИЗЪЮНКЦИЯ ЭКВИВАЛЕНЦИЯ КОНЪЮНКЦИЯ ИМПЛИКАЦИЯ
- 11. Пример Напишем формулу и составим таблицу истинности для высказывания: «Если завтра не будет хорошей погоды, то
- 13. Скачать презентацию