Практическая работа по теме "Нахождение истинности логических выражений"
учебно-методический материал по информатике и икт на тему

Практическая работа № 21

Тема: Нахождение истинности логических выражений.

Цели: Научиться находить истинность логических выражений, строить таблицы истинности. Строить логические схемы по логическим функциям и логические функции по логическим схемам.

Истинность сложных суждений определяется с помощью таблиц истинности:

Количество строк = 2кол-во переменных

Количество столбцов = кол-во переменных + кол-во действий.

Приоритет логических операций: отрицание, умножение, сложение.

Логические элементы И, ИЛИ, НЕ в схемном представлении:

Задание № 1. Даны два высказывания:

А = “Число 5 – простое”

В = “Число 4 – нечетное”

В чем заключаются высказывания: ¬A; ¬B; A & B; A ∨ B?

Какие их них истинные?

Задание № 2. Найдите значения выражений :

а) (1  1)  (1  0) ;

б) ((1  0) & (1 & 1)) & (0  1) ;

в) ((0 & 0)  0) & (1  1).

Задание № 3

Для функции построить таблицу истинности.

Задание № 4 По мишени произведено три выстрела. Рассмотрим высказывания
Рk = “мишень поражена k-м выстрелом”, k= 1, 2, 3.

Что означают высказывания:

1. Р1 ∨ Р2 ∨ Р3
2. Р1 & Р2 & Р3
3. ¬(Р1 ∨ Р2 ∨ Р3)

Задание № 5. Построить логические схемы, соответствующие функциям:

1. ¬(X & Y) ∨ T & ¬X & Y ∨ T
2. ¬X ∨ T & ¬X
3. X ∨ ¬(Y & X) ∨ ¬(T ∨ X) & Y

Задание № 6 Дана логическая схема. составить по ней логическую функцию.

Проверочная работа:

Составить таблицу истинности

вар 1

1. ¬B & (A ∨ C)
2. ¬A & ¬B & C

вар 2

1. B & (¬A ∨ C)
2. A & ¬B & C

вар 3

1. ¬A & (B ∨ ¬C)
2. ¬A & B &C

вар 4

1. ¬A & (¬B ∨ C)
2. A & ¬B & ¬C