Презентация, доклад на тему Логические операции

Содержание

Конъюнкция Составное высказывание, образованное в результате конъюнкции истинно тогда и только тогда, когда истинны все входящие в него простые высказывания.Таблица истинностиСоответствует союзу «и» обозначается & или *, или Λ; в языках программирования обозначается and, иначе называется

Слайд 1Основные логические операции

Основные логические операции

Слайд 2Конъюнкция

Составное высказывание, образованное в результате
конъюнкции истинно тогда и только

тогда,
когда истинны все входящие в него простые высказывания.

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

Соответствует союзу «и»
обозначается & или *, или Λ;
в языках программирования обозначается and,
иначе называется логическим умножением.

0

0

0

1

Конъюнкция Составное высказывание, образованное в результате конъюнкции истинно тогда и только тогда, когда истинны все входящие в

Слайд 3Дизъюнкция

Составное высказывание, образованное в результате
дизъюнкции ложно тогда и только тогда,


когда ложны все входящие в него простые высказывания.

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

Соответствует союзу «или»
обозначается V или I, или 1;
в языках программирования обозначается or,
иначе называется логическим сложением.

0

1

1

1

ДизъюнкцияСоставное высказывание, образованное в результате дизъюнкции ложно тогда и только тогда, когда ложны все входящие в него

Слайд 4Инверсия
Таблица истинности
Соответствует частице «не»
обозначается _ или ¬;
в языках программирования

обозначается not,
иначе называется логическим сложением.

1

0

Инверсия делает истинное высказывание
ложным и, наоборот, ложное – истинным.

ИнверсияТаблица истинностиСоответствует частице «не» обозначается _ или ¬; в языках программирования обозначается not, иначе называется логическим сложением.

Слайд 5Операция «Исключающее ИЛИ»
Обозначается х1⊕x2 или х1 XOR х2

Операция «Исключающее ИЛИ»Обозначается х1⊕x2 или х1 XOR х2

Слайд 6 В таблице приведены запросы к поисковому серверу.
Расположите обозначения запросов

в порядке возрастания
количества страниц, которые найдет поисковый сервер по
каждому запросу.
Для обозначения логической операции “ИЛИ” в запросе
используется символ |,
а для логической операции “И” – символ &.

В таблице приведены запросы к поисковому серверу. Расположите обозначения запросов в порядке возрастания количества страниц, которые

Слайд 7АГБВ

А





Б



В



Г

АГБВ АБВГ

Слайд 8В таблице приведены запросы к поисковому серверу.
Расположите обозначения запросов в порядке

возрастания
количества страниц, которые найдет поисковый сервер
по каждому запросу.

ГВАБ

В таблице приведены запросы к поисковому серверу.Расположите обозначения запросов в порядке возрастания количества страниц, которые найдет поисковый

Слайд 9логические выражения

логические выражения

Слайд 10Каждое составное высказывание можно
выразить в виде формулы (логического выражения),
в которую

входят логические переменные, и знаки
логических операций.

Приоритет логических операций:
инверсия
конъюнкция
дизъюнкция

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

Слайд 112. Определить при каких значениях числа Х предикат первого порядка примет

значение: ¬((x>8) или (x<-3))
а) ложь;
б) истина.

а) (x>8) или (x<-3)

б) -3<= x<=8

2. Определить при каких значениях числа Х предикат первого порядка примет значение: ¬((x>8) или (x8) или (x

Слайд 12Построение таблиц истинности логического
выражения:
1. Определить n

- количество логических переменных,
входящих в выражение.
2. Вычислить q - количество строк в таблице
по формуле: 2n.
3. Внести в таблицу возможные наборы
значений исходных переменных.

Например.
Построить таблицу истинности для логического выражения: ¬(a V b) Λ (¬a V b).
Решение: n = 2, q = 4.

Построение таблиц истинности логического выражения:   1. Определить n - количество логических переменных, входящих в выражение.2.

Слайд 13Не (0 V 0) Λ (не 0 V 0) = не

0 Λ (1 V 0)=1 Λ 1 = 1;

Не (0 V 1) Λ (не 0 V 1) = не 1 Λ (1 V 1)=0 Λ 1 = 0;

Не (1 V 0) Λ (не 1 V 0) = не 1 Λ (0 V 0)=0 Λ 0 = 0;

Не (1 V 1) Λ (не 1 V 1) = не 1 Λ (0 V 1)=0 Λ 1 = 0;

1

0

0

0

Не (0 V 0) Λ (не 0 V 0) = не 0 Λ (1 V 0)=1 Λ

Слайд 14Логические выражения, значения которых в таблицах
истинности совпадают, называются равносильными.
Обозначается «=»
Пример.
¬

a & ¬ b = ¬ (a V b ) – равносильные выражения.

Логические выражения, у которых значения в таблицах истинности состоят из 0, называются
тождественно ложными.
Например. ¬ a & а

Логические выражения, у которых значения в таблицах истинности состоят из 1, называются
тождественно истинными.
Например. ¬ a или а

Логические выражения, значения которых в таблицахистинности совпадают, называются равносильными.Обозначается «=»Пример. ¬ a & ¬ b = ¬

Слайд 15логические функции

логические функции

Слайд 16Логические выражения можно рассматривать как
логическую функцию F(x1, x2, …xn).
Функция

может принимать только значения 0 и 1.


Логическая функция от 2-х аргументов
имеет 4 возможных значения.
Каждое значение – 1 бит информации, значит каждая
Функция несет 4 бита информации.
По формуле N=2i, N=24=16.

Существует 16 логических функций
от двух аргументов.

Логические выражения можно рассматривать как логическую функцию F(x1, x2, …xn). Функция может принимать только значения 0 и

Слайд 17Импликация

Составное высказывание, образованное в результате
импликации ложно тогда и только

тогда,
когда из истинной посылки следует ложный вывод.

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

Соответствует обороту речи «если…, то…»
обозначается →
называется логическим следованием.

1

1

0

1

Импликация Составное высказывание, образованное в результате импликации ложно тогда и только тогда, когда из истинной посылки следует

Слайд 18
Пример1. Высказывание «Если число делится на 10, то оно делится на

5» истинно т.к. истинна посылка и вывод.


Пример2. Высказывание «Если число делится на 10, то оно делится на 3» ложно т.к. истинна посылка, но ложен вывод.

Пример1. Высказывание «Если число делится на 10, то оно делится на 5» истинно т.к. истинна посылка и

Слайд 19
Функции a → b и выражение ¬ a или b равносильны.

Доказательство.
1
1
0
1
Вывод:

a → b = ¬ a или b
Функции a → b и выражение ¬ a или b равносильны.Доказательство.1101Вывод: a → b = ¬ a

Слайд 20Эквивалентность

Составное высказывание, образованное в результате
эквивалентности истинно тогда и только тогда,


когда оба высказывания одновременно либо истинны,
либо ложны.

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

Соответствует обороту речи «тогда и только тогда, когда…»
обозначается ~
называется логическим равенством.

1

0

0

1

Эквивалентность Составное высказывание, образованное в результатеэквивалентности истинно тогда и только тогда, когда оба высказывания одновременно либо истинны,

Слайд 21
Пример1. Высказывание «Компьютер может работать тогда и только тогда, когда он

включен» истинно.


Пример2. Высказывание «Компьютер не может работать тогда и только тогда, когда он не включен» истинно.


Пример3. Высказывание «Компьютер может работать тогда и только тогда, когда он не включен» ложно.

Пример1. Высказывание «Компьютер может работать тогда и только тогда, когда он включен» истинно.Пример2. Высказывание «Компьютер не может

Слайд 22
Функции a ~ b и выражения
(¬ a или b)& (a

или ¬ b),
(¬ a & ¬ b)V (a & b) равносильны.


Доказательство.

1

0

0

1

Вывод: a ~ b = (¬ a или b)& (a или ¬ b)

Функции a ~ b и выражения (¬ a или b)& (a или ¬ b), (¬ a &

Слайд 231. Построить таблицу истинности логического выражения.
a & (b V ¬ b

& ¬ c)

2. Доказать равносильность выражений.

и a & (b V ¬ b & ¬ c)

(a V b) & (¬ a V ¬ b)

1. Построить таблицу истинности логического выражения.a & (b V ¬ b & ¬ c) 2. Доказать равносильность

Что такое shareslide.ru?

Это сайт презентаций, где можно хранить и обмениваться своими презентациями, докладами, проектами, шаблонами в формате PowerPoint с другими пользователями. Мы помогаем школьникам, студентам, учителям, преподавателям хранить и обмениваться учебными материалами.


Для правообладателей

Яндекс.Метрика

Обратная связь

Email: Нажмите что бы посмотреть