Алгебра логики. Алгебра, образованная множеством B = {0,1} вместе со всеми операциями на нем называется алгеброй логики. Функцией алгебры логики от n.

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



Advertisements
Похожие презентации
Алгебра высказываний Лекция 2 2. Определение высказывания. Таблица истинности для высказываний Определение 1 Переменная А, принимающая два значения –
Advertisements

Построение логических выражений по таблице истинности Курсовая работа Евстафьева Алексея, гимн.5, 2002 г.
Основные понятия алгебры логики Лямин Андрей Владимирович.
Занятие 2 (часть 1) Логические формулы. Законы алгебры логики.
Презентация к уроку по информатике и икт по теме: Логические операции (презентация)
ЕГЭ Урок 9 Алгебра логики. Логическое умножение (конъюнкция) «И» A B, A&B A B истинно тогда и только тогда, когда оба высказывания A и B истинны. A B.
Консультация 2 27 март 2012 Информатика и ИКТ ЕГЭ 2012.
Булевы функции и алгебра логики. Двойственность булевых функций ХНУРЭ, кафедра ПО ЭВМ, Тел , Лекции 4-5 Н.В. Белоус.
Логические переменные и логические функции. Буквы, обозначающие высказывания, можно рассматривать как имена логических переменных, так как ими можно заменить.
1 Совершенная дизъюнктивная нормальная форма и совершенная конъюнктивная нормальная форма Логические основы ЭВМ 10 класс Белоусова Елена Ивановна, учитель.
Логические основы вычислительной техники. Таблицы истинности Таблицей истинности называют таблицу значений логической функции для разных сочетаний значений.
1. Подсчитать количество переменных в логическом выражении. 2. Определить число строк в таблице m = 2 n 3. Подсчитать количество логических операций в.
Логические выражения. Практическая работа « Таблицы истинности ».
Законы Алгебры логики В алгебре логики имеются законы, которые записываются в виде соотношений. Логические законы позволяют производить равносильные (
Алгебра высказываний Тема урока. Алгебра высказываний (алгебра логики) - это математический аппарат, с помощью которого записывают, вычисляют и преобразовывают.
Построение логического выражения по таблице истинности Правила построения выражения по таблице истинности : 1. Для каждой строки таблицы истинности с единичными.
Таблицы истинности Употребляемые в обычной речи логические связки в алгебре логики называются логическими операциями. Логические операции описываются.
ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ И ТАБЛИЦЫ ИСТИННОСТИ Сложные высказывания можно записывать в виде формул. Для этого простые логические высказывания нужно обозначить.
Алгебра логики Информатика 9 класс. ИНВЕРСИЯ Логическое отрицание -ИНВЕРСИЯ Образуется из высказывания с помощью добавления частицы «НЕ» к сказуемому.
Алгебра логики Выполнила ученица 10А класса МОУ СОШ1 г. Черепанова Утяшева Наталья.
Транксрипт:

Алгебра логики

Алгебра, образованная множеством B = {0,1} вместе со всеми операциями на нем называется алгеброй логики. Функцией алгебры логики от n переменных называется n-местная операция, задающая отображение B n на B.

Функции алгебры логики А 01 10

AB

AB

AB

Пропозициональные формулы

Соглашение о порядке операций. Операции выполняются в следующем порядке 1.Скобки 2.Отрицания 3.Конъюнкция 4.Дизъюнкция 5.Импликация 6.Эквиваленция Внутри группы операции выполняются слева направо

Соглашение о порядке операций

Польская нотация

Вычисление формул

Таблицы истинности xyp

Равносильность

Свойства отношения равносильности Рефлексивность: А = А Симметричность: Если А = B, то B = A Транзитивность: А = B и B = C, то A = C

Теорема об эквивалентной замене

Основные тождества алгебры логики.

Двойственные функции

Свойства двойственных функций