21.09_Построение таблиц истинности
методическая разработка

Слайд 1

Тема: Построение таблиц истинности Цель: повторить основные формы мышления; закрепить умение записывать логические формулы; повторить логические операции «и», «или», «не»; научиться строить таблицы истинности составных высказываний.

Слайд 2

Постое и составное высказывание Высказывание называется простым (элементарным), если никакая его часть не является высказыванием. Составное высказывание – это предложение, состоящее из двух и более про стых высказываний, соединенных логическими связками.

Слайд 3

Высказывательная форма — это повествовательное предложение, которое прямо или косвенно содержит хотя бы одну переменную и становится высказыванием, когда все переменные замещаются своими значениями. Примеры: Ученик десятого класса. Информатика — интересный предмет. В городе A более миллиона жителей. У него голубые глаза.

Слайд 4

Логическое отрицание, инверсия (НЕ, NOT , ) А ¬ A 0 1 1 0 Инверсия – это логическая операция, которая в случае истинности высказывания делает его ложным и наоборот. ¬

Слайд 5

Правило При построении отрицания к простому высказыванию используется речевой оборот «неверно, что» или к сказуемому добавляется частица «не» , при этом слово «все» заменяется на «некоторые» и наоборот.

Слайд 6

Логическое умножение (конъюнкция) A B A  B 0 0 0 0 1 0 1 0 0 1 1 1 Обозначения: И, AND,&, 

Слайд 7

Логическое сложение ( дизъюнкция) A B A V B 0 0 0 0 1 1 1 0 1 1 1 1 Обозначения: ИЛИ, OR , V V

Слайд 8

Приоритеты логических операций ДЕЙСТВИЯ В СКОБКАХ НЕ И ИЛИ

Слайд 9

Таблица истинности Таблицу, показывающую какие значения принимает составное высказывание при всех наборах (сочетаниях) значений входящих простых высказываний, называют таблицей истинности составного высказывания.

Слайд 11

Постройте таблицу истинности F = A V ¬ B В выражении 2 различных переменных, значит в таблице будет 4 строки (2 2 =4) В выражении 2 логических операции, поэтому число столбцов 4 ( 2 перем.+ 2 лог.операции = 4) Последовательность операций: ¬ B A V ¬ B A B ¬ B F

Слайд 12

Постройте таблицу истинности F = A V ¬ B A B ¬ B F 0 0 0 1 1 0 1 1

Слайд 13

Постройте таблицу истинности F = A V ¬ B A B ¬ B F 0 0 1 0 1 0 1 0 1 1 1 0

Слайд 14

Построение таблицы истинности F = A  V ¬ B A B ¬ B F= A V ¬ B 0 0 1 1 0 1 0 0 1 0 1 1 1 1 0 1

Слайд 16

Построить таблицу истинности:

Слайд 17

Домашнее задание Параграф 3.1. Алгебра логики с.148-151 (глава 3) Прочитать. Уметь отвечать на вопросы в конце параграфа с. 151-152