Презентация по информатике Базовые логические операции

БАЗОВЫЕ ЛОГИЧЕСКИЕ ОПЕРАЦИИ. В алгебре высказываний, как и в обычной алгебре, вводится ряд операций. Логические связки И, ИЛИ и НЕ заменяются логическими операциями: конъюнкцией, дизъюнкцией и инверсией. Это основные логические операции, при помощи которых можно записать любую логическую функцию 1. Логическая операция ИНВЕРСИЯ (ОТРИЦАНИЕ) соответствует частице НЕобозначается черточкой над именем переменной или знаком ¬ перед переменнойИнверсия логической переменной истинна, если сама переменная ложна, и, наоборот, инверсия ложна, если переменная истинна.Таблица истинности инверсии имеет вид: A 0 1 1 0 2. Логическая операция ДИЗЪЮНКЦИЯ (ЛОГИЧЕСКОЕ СЛОЖЕНИЕ) соответствует союзу ИЛИобозначается знаком v или + или ║Дизъюнкция двух логических переменных ложна тогда и только тогда, когда оба высказывания ложны.Это определение можно обобщить для любого количества логических переменных, объединенных дизъюнкцией.А v В v С =0, только если А=0, В=0, С=0.Таблица истинности дизъюнкции имеет следующий вид: A B А V В 0 0 0 0 1 1 1 0 1 1 1 1 3. Логическая операция КОНЪЮНКЦИЯ (ЛОГИЧЕСКОЕ УМНОЖЕНИЕ) соответствует союзу И обозначается знаком & или Λ, или · Конъюнкция двух логических переменных истинна тогда и только тогда, когда оба высказывания истинны.Это определение можно обобщить для любого количества логических переменных, объединенных конъюнкцией.А & В & С=1, только если А=1, В=1, С=1.Таблица истинности конъюнкции имеет следующий вид: A B А & В 0 0 0 0 1 0 1 0 0 1 1 1 Построение таблицы истинности Определить количество строк в таблице по формуле 2n, где n – количество логических переменных.Определить количество столбцов таблицы: количество логических переменных + количество логических операций.Построить таблицу истинности, обозначить столбцы, внести всевозможные наборы исходных данных логических переменных.Заполнить таблицу истинности, выполняя базовые логические операции в необходимой последовательности. Построим таблицу истинности для логической функции:Количество переменных в заданном выражении равно трем (A,B,C). Значит, количество строк 23=8. Количество столбцов равно 6 (3 переменные + 3 операции). Столбцы таблицы истинности соответствуют значениям исходных выражений A,B,C, промежуточных результатов и (B V C), а также искомого окончательного значения сложного арифметического выражения A B C B V C A B C B V C 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 A B C B V C 0 0 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 1 0 1 0