Слайд 2Алгебра логики
Раздел математики, изучающий высказывания, рассматриваемые с точки зрения их логических значений,
![Алгебра логики Раздел математики, изучающий высказывания, рассматриваемые с точки зрения их логических](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/926572/slide-1.jpg)
и логический операций над ними.
Основатель алгебры логики Джордж Буль.
Слайд 3Высказывание
Предложение, про которое можно сказать, истинно оно или ложно.
Из имеющихся высказываний можно
![Высказывание Предложение, про которое можно сказать, истинно оно или ложно. Из имеющихся](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/926572/slide-2.jpg)
строить новые высказывания, используя логические связи «И», «ИЛИ», «НЕ», «ЕСЛИ…ТО…» и т.д.
Если никакая часть данного высказывания не является высказыванием, то его называют элементарным.
Высказывания, образованные из других высказываний, называют составными (сложными).
Истинность составных высказываний зависит от истинности образующих их высказываний и логических связок.
Слайд 4Логическая переменная
Переменная, которая обозначает любое высказывание и может принимать логические значения «истина»
![Логическая переменная Переменная, которая обозначает любое высказывание и может принимать логические значения «истина» или «ложь»](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/926572/slide-3.jpg)
или «ложь»
Слайд 6Логическое выражение
Составное логическое высказывание, состоящее из логически констант, логических переменных, знаков логических
![Логическое выражение Составное логическое высказывание, состоящее из логически констант, логических переменных, знаков логических операций и скобок.](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/926572/slide-5.jpg)
операций и скобок.
Слайд 7Приоритет операций
Отрицание
Конъюнкция
Дизъюнкция
Импликация; Эквивалентность.
![Приоритет операций Отрицание Конъюнкция Дизъюнкция Импликация; Эквивалентность.](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/926572/slide-6.jpg)
Слайд 8Решение логического уравнения
Один или несколько наборов значений логических переменных, при которых логическое
![Решение логического уравнения Один или несколько наборов значений логических переменных, при которых](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/926572/slide-7.jpg)
уравнение будет истинным высказыванием.