ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ И ТАБЛИЦЫ ИСТИННОСТИ ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ Каждое составное высказывание можно выразить в виде формулы (логического выражения), в.

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



Advertisements
Похожие презентации
Таблица истинности составных высказываний – это таблица, которая показывает какие значения принимает составное высказывание при всех сочетаниях значений.
Advertisements

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

ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ И ТАБЛИЦЫ ИСТИННОСТИ

ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ Каждое составное высказывание можно выразить в виде формулы (логического выражения), в которою войдут логические переменные, обозначающие высказывания, и знаки логических операций, обозначающие логические функции.

Запишем в форме логического выражения составное высказывание «2х2=5 или 2х2=4 и 2х2=5 или 2х2=4». Данное составное высказывание состоит из двух простых высказываний: А = «2х2=5» - ложно (0), В = «2х2=4» - истинно (1). Тогда составное высказывание можно записать в следующей форме: «А или В и А или В»

Теперь необходимо записать высказывание в форме логического выражения с учетом последовательности выполнения логических операций: инверсия, конъюнкция, дизъюнкция. Для изменения указанного порядка могут использоваться скобки: F = (А В) & (A B)

Подставим в логическое выражение значения логических переменных и, используя таблицы истинности базовых логических операций, получим значение логической функции: F = (0 1) & (А В) = (0 1) & (1 0) = 1 & 1 = 1

ТАБЛИЦЫ ИСТИННОСТИ Таблица истинности составных высказываний – это таблица, показывает какие значения принимает составное высказывание при всех сочетаниях значений входящих в него простых высказываний.

Алгоритм построения таблицы истинности: 1. Подсчитать количество переменных n в логическом выражении; 2. Определить число строк в таблице m=2^n; 3. Подсчитать количество логических операций в формуле; 4. Установить последовательность выполнения логических операций с учетом скобок и приоритетов; 5. Определить количество столбцов в таблице: число переменных плюс число операций; 6. Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с учетом в п.4 последовательностью.

например: Построить таблицу истинности для выражения: F=(A B)&(A B) АВА ВАВ F

РАВНОСИЛЬНЫЕ ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ Логические выражения, у которых таблицы истинности совпадают, называют равносильными.

Доказать, что логические выражения: А & В и А В, равносильны АВАВА & В АВА В Таблица истинности для А&ВТаблица истинности для А В Таблицы истинности совпадают, следовательно, логические выражения равносильны.

КОНТРОЛЬНЫЕ ВОПРОСЫ 1.Что включают в себя логические выражения? 2.Что содержат таблицы истинности и каков порядок их построения? 3.Какие логические выражения называются равносильными?

Задания для самостоятельного выполнения 1.Запишите составное высказывание «2х2=4 и 3х3=9 или 2х2=4 и 3х3=9 в форме логического выражения. Постройте таблицу истинности. 2.Докажите, используя таблицу истинности, что логические выражения А В и А&B равносильны.

Спасибо за внимание Презентацию подготовила преподаватель информатики Галина Валентиновна