АЛГЕБРА ЛОГИКИ Часть 2. Истинность выражения Возьмем составное высказывание Пусть А=0, В=1 Тогда.

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



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

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

АЛГЕБРА ЛОГИКИ Часть 2

Истинность выражения Возьмем составное высказывание Пусть А=0, В=1 Тогда

Таблицы истинности Число строк в таблице истинности: Количество строк = 2 n +1, где n – количество переменных. Количество столбцов = число переменных (n) + количество логических операций.

ПРИМЕР. Составим таблицу истинности для рассмотренного выражения Высказывания последние столбцы которых совпадают называются равносильными. ABAvB

Задания для самостоятельной работы Составьте таблицы истинности для высказываний: Докажите равносильность выражений и