Таблица истинности
Соответствует союзу «и»
обозначается & или *, или Λ;
в языках программирования обозначается and,
иначе называется логическим умножением.
0
0
0
1
Таблица истинности
Соответствует союзу «или»
обозначается V или I, или 1;
в языках программирования обозначается or,
иначе называется логическим сложением.
0
1
1
1
1
0
Инверсия делает истинное высказывание
ложным и, наоборот, ложное – истинным.
ГВАБ
Приоритет логических операций:
инверсия
конъюнкция
дизъюнкция
а) (x>8) или (x<-3)
б) -3<= x<=8
Например.
Построить таблицу истинности для логического выражения: ¬(a V b) Λ (¬a V b).
Решение: n = 2, q = 4.
Не (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, называются
тождественно ложными.
Например. ¬ a & а
Логические выражения, у которых значения в таблицах истинности состоят из 1, называются
тождественно истинными.
Например. ¬ a или а
Логическая функция от 2-х аргументов
имеет 4 возможных значения.
Каждое значение – 1 бит информации, значит каждая
Функция несет 4 бита информации.
По формуле N=2i, N=24=16.
Существует 16 логических функций
от двух аргументов.
Таблица истинности
Соответствует обороту речи «если…, то…»
обозначается →
называется логическим следованием.
1
1
0
1
Пример2. Высказывание «Если число делится на 10, то оно делится на 3» ложно т.к. истинна посылка, но ложен вывод.
Таблица истинности
Соответствует обороту речи «тогда и только тогда, когда…»
обозначается ~
называется логическим равенством.
1
0
0
1
Пример2. Высказывание «Компьютер не может работать тогда и только тогда, когда он не включен» истинно.
Пример3. Высказывание «Компьютер может работать тогда и только тогда, когда он не включен» ложно.
Доказательство.
1
0
0
1
Вывод: a ~ b = (¬ a или b)& (a или ¬ b)
2. Доказать равносильность выражений.
и a & (b V ¬ b & ¬ c)
(a V b) & (¬ a V ¬ b)
Это сайт презентаций, где можно хранить и обмениваться своими презентациями, докладами, проектами, шаблонами в формате PowerPoint с другими пользователями. Мы помогаем школьникам, студентам, учителям, преподавателям хранить и обмениваться учебными материалами.
Email: Нажмите что бы посмотреть