Презентация по информатике и ИКТ на тему Логические основы компьютера. Алгебра логики (10 класс)

Логические основы компьютера.Алгебра логики Формальная логика основана на «высказываниях» «Высказывание» - это основной элемент логики, определяемый как повествовательное предложение, относительно которого можно однозначно сказать, истинное или ложное утверждение оно содержит.  Например: Листва на деревьях опадает осенью. Земля прямоугольная.     Первое высказывание содержит истинную информацию, а второе - ложную.     Не пейте сырую воду! ничего не утверждается и не отрицается В 1847 году английский математик Джордж Буль, преподаватель провинциального университета в маленьком городке Корке на юге Англии разработал алгебру логики.     Алгебра логики очень проста, так как каждая переменная может принимать только два значения: истинно или ложно. Для обозначения переменных принимают символы 0 и 1.Логическая 1 означает, что какое-то событие истинно, в противоположность этому логический 0 означает, что высказывание не соответствует истине, т.е. ложно. Высказывание заменилось на логическое выражение, которое строится из логических переменных (А, В, Х, …) и логических операций (связок).  Логическую функцию принято задавать в виде таблицы. В левой части этой таблицы перечисляются все возможные значения аргументов функции, т.е. входные величины, а в правой указывается соответствующее им значение логической функции. Для элементарных функций получается таблица истинности данной логической операции 1. Логическая операция Дизъюнкциясвязка ИЛИДля операции ИЛИ таблица истинности имеет вид:АВА˅В000011101111 Рассмотрим сложное единичное высказывание: «Летом я поеду в деревню или в туристическую поездку». Обозначим через А простое высказывание «Летом я поеду в деревню», а через В - простое высказывание «Летом я поеду в туристическую поездку». Тогда логическое выражение сложного высказывания имеет вид А+В, и оно будет ложным только, если ни одно из простых высказываний не будет истинным.   2. Логическая операция Конъюнкциясвязка ИТаблица истинности для этой функции имеет вид:АВА˄В000010100111 3. Логическая операция Инверсия.связка НЕАА0110 4. Логическая операция «сложения по модулю 2» ⊕ Этой логической операции соответствует логическая связка «либо ... Либо».АВА⊕В000011101110 5. Логическая операция импликацияЭта операция связывает два простых логических выражения, из которых первое является условием, а второе — следствием из этого условия.АВАВ001011100111 6.  Логическая операция эквивалентностьЭтой логической операции соответствуют логические связки «тогда и только тогда, когда».АВА В001011100111 Приоритет логических операцийДействия в скобкахИнверсияКонъюнкция ( & )Дизъюнкция ( V )Сложение по модулю 2 (⊕)Импликация ( → )Эквивалентность ( ) Решение задач Построить таблицу истинности для функции ХX=A V B V C X=A&B&CПостроить таблицу истинности для функции Х Построить таблицу истинности для функции Х Построить таблицу истинности для функции Х Построить таблицу истинности для функции Х X=AB ⊕ CПостроить таблицу истинности для функции Х X=A ̴ B ̴ CПостроить таблицу истинности для функции Х X=A → B&CПостроить таблицу истинности для функции Х Домашнее задание:Выучить таблицы истинности