Презентация, доклад к уроку информатики для 10 класса. Тема Логические законы и правила преобразования логических выражений

понятия логики)
б) Задача 1 (построение отрицания)
в) Задача 2 (высказывания на естественном языке)
г) Задача 3 (построение таблицы истинности)

Логические законы и правила преобразования логических выражений (изучение нового материала)
а) Теоретическая часть
б) Задача 1 (Пример упрощения)
в) Задача 2 (Найти значение переменной Х с помощью рассмотренных законов и правил)
г) Решение задач (закрепление изученного)
д) Домашнее задание

ложно.
Логическое умножение.
Форма мышления, в которой отражаются существенные признаки отдельного предмета или класса однородных предметов.
Логическая операция, которая обозначается значком →

По вертикали:
мыслительный процесс, направленный на подтверждение или опровержение какого-либо положения посредством других несомненных, ранее обоснованных доводов.
Прием мышления, посредством которого из исходного знания получается новое знание.
Логическая операция, которой в естественном языке соответствует оборотам речи тогда и только тогда; в том и только в том случае…
Логическое сложение.
Наука о законах и формах мышления.
Мысль, в которой что-либо утверждается или отрицается.
Отрицание.

желает поймать большую рыбу.

Неверно, что число 2 не является делителем числа 24.

Аркадий решил все примеры домашней работы.

Сегодня мы не идем на балет «Щелкунчик».

Не каждый рыбак желает поймать большую рыбу
(некоторые рыбаки не желают поймать большую рыбу).

Число 2 не является делителем числа 24

Неверно, что Аркадий решил все примеры домашней работы
(Аркадий не решил некоторые задания домашней работы).

q = «Марии нравятся уроки труда».

Выразите следующие формулы
на обычном языке:

^

^

^

^

^

А=B, то B=А

3. Транзитивность если А=B, B=C, то A=C

= А

сложения
A v (A^B)=A

^ В = А v В

= A

А v 0 = A
А ^ 1 = A
A ^ 0 = 0

X ^ Y v X ^ Y

Воспользуемся распределительным законом:
A ^ ( B v C ) = A ^ B v A ^ C

1

X ^ Y v X ^ Y =

X ^ (Y v Y ) =

= Х ^ 1 = Х

v Y v X v Y = Z.

(Х v Y) v (X v Y) = Z
(Х ^ Y) v (X ^ Y) = Z
Х ^ (Y v Y) = Z
Х ^ 1 = Z
Х = Z
Х = Z

Задание 2.

= A^CvĀ^C.
F =AvBvCvAvBvC

Ответы:
F = (A^B) v (BvC) =AvB.
F= (A→B) v (B→A) = 1.
F = A ^ C v Ā ^C=C.
F =AvBvCvAvBvC=1.

= (AvB) ^ (BvA) ^ (CvB).
F = (1 V (AvB)) V ((AvC) ^ 1).