Построение таблиц истинности. 9 класс

Содержание

Слайд 2

Когда инверсия истинна и когда инверсия ложна? В каком случае дизъюнкция

Когда инверсия истинна и когда инверсия ложна?
В каком случае дизъюнкция ложна?
В

каком случае конъюнкция истинна?
В каком случае импликация ложна?
В каком случае эквиваленция истинна и в каком ложна?

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

Если оба высказывания ложны, то дизъюнкция ложна, в остальных случаях дизъюнкция будет истинна.

Если оба высказывания истинны, то конъюнкция тоже истинна. В остальных случаях конъюнкция будет ложна.

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

Эквиваленция истинна, если оба высказывания либо истинны, либо ложны. В остальных случаях ложна.

Слайд 3

Понятие таблицы истинности Таблица истинности – это таблица, в которой перечислены

Понятие таблицы истинности

Таблица истинности – это таблица, в которой перечислены все

возможные значения входящих логических переменных и соответствующие им значения функции.
Например,
Слайд 4

Алгоритм построения таблиц Определить число переменных Определить число строк в таблице

Алгоритм построения таблиц

Определить число переменных
Определить число строк в таблице истинности
Записать все

возможные значения переменных
Определить количество логических операций и их порядок
Записать логические операции в таблицу истинности и определить для каждой значение
Подчеркнуть значения переменных, для которых
F = 1.
Слайд 5

Определение количества строк в таблице. Где N – количество строк в

Определение количества строк в таблице.

Где N – количество строк в таблице

q – количество логических переменных, участвующих в данном высказывании.
Слайд 6

Порядок выполнения действий Инверсия (отрицание) Операции в скобках Конъюнкция (логическое умножение)

Порядок выполнения действий

Инверсия (отрицание)
Операции в скобках
Конъюнкция (логическое умножение)
Дизъюнкция (логическое сложение)
Импликация (следование)
Эквиваленция(равенство)

Слайд 7

Пример: (А∧ ¬В)→ ¬С

Пример: (А∧ ¬В)→ ¬С

Слайд 8

¬(А∨В∧¬С)

¬(А∨В∧¬С)

Слайд 9

Самостоятельная работа Вариант1 Расставьте над символами логических операций номера в порядке

Самостоятельная работа

Вариант1
Расставьте над символами логических операций номера в порядке выполнения операций

при вычислении выражения.
а)¬А∨(В∨¬С)
б)А∧¬(В∨¬С)∨D
2. Составьте таблицу истинности ¬((А∨В)→С)

Вариант2
Расставьте над символами логических операций номера в порядке выполнения операций при вычислении выражения.
а) А∨В∧С)
б)¬(А∨В)→С
2. Составьте таблицу истинности ¬А∧¬В∧С

Слайд 10

F = ¬((А∨В)→С) F = ¬А∧¬В∧С а)¬А∨(В∨¬С) б)А∧¬(В∨¬С)∨D а) А∨В∧С) б)¬(А∨В)→С

F = ¬((А∨В)→С)

F = ¬А∧¬В∧С

а)¬А∨(В∨¬С)
б)А∧¬(В∨¬С)∨D

а) А∨В∧С) б)¬(А∨В)→С

3

2

1

4

1

2

1

2

3

4

5

1

2

3