Презентация на тему "Построение таблиц истинности сложных высказываний"

МБОУ «Верховажская средняя школа имени Я.Я.Кремлева»

Информатика – 10

Основы логики.

Построение таблиц истинности сложных высказываний.

Учитель информатики-Трошечкин Д.А.

27.10.16

Трошечкин Дмитрий Александрович

Задание 1. Построить таблицу истинности для выражений.

• F= (A + B) ^ ( ¬A + ¬B);
• F= ¬ (В + С) ^ ( В + ¬С);
• F= ( ¬ А ^ В)  ( ¬ В  А);
• F=X + Y ^ ¬ Z;
• F= ¬ (X + ¬ Y ) + ¬ X ^ Z.

27.10.16

Трошечкин Дмитрий Александрович

Таблица истинности F= ( ¬ А ^ В)  ( ¬ В  А)

А

В

0

0

¬ А

1

¬ А ^ В

0

0

1

1

1

0

¬ В

0

1

¬ В  А

0

1

1

0

1

1

0

F

1

0

0

1

1

1

0

1

1

1

27.10.16

Трошечкин Дмитрий Александрович

Таблица истинности F= (A + B) ^ ( ¬A + ¬B)

А

В

27.10.16

Трошечкин Дмитрий Александрович

Таблица истинности F= ¬ (В + С) ^ ( В + ¬С)

В

С

27.10.16

Трошечкин Дмитрий Александрович

Таблица истинности функции F= ¬ (X + ¬ Y ) + ¬ X ^ Z.

Х

Y

1

Z

1

1

¬ Y

0

1

1

1

0

X + ¬ Y

1

1

0

¬( X+ ¬ Y)

1

0

1

0

0

0

0

1

¬X

1

0

0

1

¬X ^ Z

0

1

1

0

0

0

F

1

0

1

1

0

0

0

1

0

0

0

0

0

0

0

1

0

0

0

1

0

0

0

0

1

0

0

1

1

0

1

1

1

1

0

1

1

0

1

1

0

1

0

27.10.16

Трошечкин Дмитрий Александрович

Домашнее задание: составить таблицы истинности логических выражений.

• F= ¬ (A ^ B) ~ ( ¬A + B);
• F= ((A + ¬ B)  В) ^( ¬A + ¬ B);
• F= ¬( (A  B) ~ ( ¬В  ¬ А));
• F= (Х ^ ¬Y)  (¬ Х+Z);

27.10.16

Трошечкин Дмитрий Александрович

Таблица истинности F= ¬ (A ^ B) ~ ( ¬A + B)

А

В

0

0

А ^В

1

¬( А^В)

0

0

0

1

1

0

¬ А

1

1

¬ А+В

1

1

0

1

1

0

1

F

0

0

1

1

0

1

0

1

1

0

27.10.16

Трошечкин Дмитрий Александрович