Построение таблиц истинности логических выражений.

Презентация:



Advertisements
Похожие презентации
Для определения истинности или ложности сложного логического выражения используют таблицы истинности. Количество строк напрямую зависит от количества.
Advertisements

Таблица истинности составных высказываний – это таблица, которая показывает какие значения принимает составное высказывание при всех сочетаниях значений.
Таблицы истинности Таблица истинности сложного логического выражения показывает соответствие между всевозможными наборами значений простых высказываний.
П ОСТРОЕНИЕ ТАБЛИЦ ИСТИННОСТИ ДЛЯ СЛОЖНЫХ ВЫСКАЗЫВАНИЙ. Подготовила учитель информатики высшей категории Габриэль Татьяна Васильевна.
Презентация к уроку по информатике и икт по теме: Логические операции (презентация)
ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ И ТАБЛИЦЫ ИСТИННОСТИ Сложные высказывания можно записывать в виде формул. Для этого простые логические высказывания нужно обозначить.
ГБПОУ «МСС УОР 2» Москомспорта Преподаватель информатики Володина М.В г.
Сложное высказывание Высказывания бывают простые и сложные. Простым называется высказывание, которое не содержит в себе других высказываний. Если несколько.
Автор: Доронина Екатерина Валерьевна, МКОУ СОШ 1, Г. Коркино Логические выражения и таблицы истинности.
Таблицы истинности Употребляемые в обычной речи логические связки в алгебре логики называются логическими операциями. Логические операции описываются.
Жуланова В. П., КРИПКиПРО Логические формулы.
Алгебра высказываний. ИМПЛИКАЦИЯ (логическое следование) Если будет дождь, то мы не пойдем на улицу. Если сегодня четверг, то завтра пятница. Если на.
ОСНОВЫ ЛОГИКИ Кривенцов Леонид Александрович, учитель информатики и ИКТ МОУ-СОШ 4 г. Асино томской области.
ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ И ТАБЛИЦЫ ИСТИННОСТИ ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ Каждое составное высказывание можно выразить в виде формулы (логического выражения), в.
Входные данные / ввод переменных в логическую схему Выполнение операции ИНВЕРСИЯ А В (0/1) А = 1 0 А = 0 1.
1. Подсчитать количество переменных в логическом выражении. 2. Определить число строк в таблице m = 2 n 3. Подсчитать количество логических операций в.
Таблицы истинности.. Решение логических задач принято записывать в виде таблиц истинности – таблиц, в которых по действиям показано, какие значения принимает.
Каждое составное высказывание можно выразить в виде формулы, в которую входят логические переменные, обозначающие высказывания, и знаки логических операций,
« Человек не знал двух слов – да и нет. Он отвечал туманно : Может быть, возможно, мы подумаем …» Илья Ильф « Записные книжки »
Логические функции F(x 1, x 2, …, x n ) – сложное логическое выражение. Логическая функция Аргументы функции – x 1, x 2, …, x n – простые логические.
Транксрипт:

Построение таблиц истинности логических выражений

Приоритет логических операций При вычислении значения логического выражения (формулы) логические операции вычисляются в определенном порядке, согласно их приоритету: 1. инверсия 2. конъюнкция 3. дизъюнкция 4. импликация и эквивалентность Для изменения порядка действий используются скобки.

Алгоритм построения таблицы истинности сложного высказывания 1. Вычислить количество строк и столбцов таблицы истинности. Количество строк = 2 n + 2 строки заголовка, где n – количество простых высказываний. Количество столбцов = сумме количества переменных и количества логических операций.

2. Начертить таблицу и заполнить заголовок. Первая строка заголовка – номера столбцов. Вторая строка заголовка – промежуточные формулы и соответствующие им условные записи операций Алгоритм построения таблицы истинности сложного высказывания

3. Заполнить первые n столбцов. Для n = 3 количество строк со значениями переменных равно 8. 8:2=4: в 1-м столбце чередуем 4 нуля и 4 единицы. 4:2=2: в 2-м столбце чередуем 2 нуля и 2 единицы. 2:2=1: в 3-м столбце чередуем 1 ноль и 1 единицу. 4. Заполнить остальные столбцы.

Задание 1 Построить таблицу истинности для логического выражения: A & (B v B & C)

Задание 2 Доказать, что логические выражения A & B и A v B равносильны.