Таблица истинности – это таблица, устанавливающая соответствие между всеми возможными наборами логических переменных, входящих в логическую функцию и.

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



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

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

Таблица истинности – это таблица, устанавливающая соответствие между всеми возможными наборами логических переменных, входящих в логическую функцию и значениями функции. ABC

ТАБЛИЦЫ ИСТИННОСТИ ПРИМЕНЯЮТСЯ ДЛЯ: вычисления истинности сложных высказываний; установления эквивалентности высказываний; определения тавтологий.

Пример 1. Установить истинность высказывания ABC

С помощью таблиц истинности можно установить эквивалентность двух или нескольких высказываний. Высказывания называются эквивалентными, если соответствующие значения каждого из них совпадают в таблице истинности. Если значения сложных высказываний совпадают на всех наборах значений входящих в них переменных, то такие высказывания называют равносильными, или тождественными, или эквивалентными.

Пример 2. Утверждается, что высказывание А+В С эквивалентно высказыванию (А+В) (А+С) ABC В СА+В С А+ВА+С (А+В) (А+С)

ABC В СА+В С А+ВА+С (А+В) (А+С) Пример 2. Утверждается, что высказывание А+В С эквивалентно высказыванию (А+В) (А+С)

ABC В СА+В С А+ВА+С (А+В) (А+С) Пример 2. Утверждается, что высказывание А+В С эквивалентно высказыванию (А+В) (А+С)

ABC В СА+В С А+ВА+С (А+В) (А+С) Пример 2. Утверждается, что высказывание А+В С эквивалентно высказыванию (А+В) (А+С)

ABC В СА+В С А+ВА+С (А+В) (А+С) Пример 2. Утверждается, что высказывание А+В С эквивалентно высказыванию (А+В) (А+С)

ABC В СА+В С А+ВА+С (А+В) (А+С) Пример 2. Утверждается, что высказывание А+В С эквивалентно высказыванию (А+В) (А+С)

Различие между эквивалентностью и эквиваленцией. Эквиваленция является логической операцией, позволяющей по двум заданным высказываниям А и В построить новое А В. Эквивалентность же является отношением между двумя составными высказываниями, состоящим в том, что их значения истинности всегда одни и те же.