Алгебра логики

1.

Логика (древнегреч. - слово, мысль,
понятие, рассуждение) - наука о
законах и формах мышления(понятие,
высказывание, умозаключение.
Алгебра логики изучает общие
операции над высказываниями.

2.

Высказывание (суждение) - это
повествовательное предложение,
в котором что-либо утверждается
или отрицается. По поводу любого
высказывания можно сказать
истинно оно или ложно.

3.

Определите какие из следующих
выражений являются высказываниями.
Число 6 – четное.
Здравствуйте!
Все роботы являются машинами.
Кто отсутствует?
Выразите 1 ч 15 мин в секундах.
А – первая буква в алфавите.

4.

Определите истинность
высказываний.
Треугольник – геометрическая
фигура.
У каждой лошади есть хвост.
Париж - столица Китая.
Лед – твердое состояние воды.
Все люди космонавты.

5.

Логические выражения
Каждое составное высказывание можно
выразить в виде формулы (логического
выражения) в которую входят логические
переменные, обозначающие высказывания, и
знаки логических операций, обозначающие
логические функции.
ФИО: Воронова Екатерина Николаевна
Место работы: МАОУ "Лицей №1"г. Стерлитамак
Должность: учитель информатики

6.

ПРАКТИЧЕСКАЯ
РАБОТА

7.

Задание 1 . Д а н ы д ва в ы с ка з ы ва н и я :
А = « 1 2 д ел и т с я н а 3 »
В = « 1 2 д ел и т с я н а 4 »
З а п и са т ь с и м вол ь н о :
а) 12
б) 12
на 4
в) 12
г) 12
д) не
на 3,
А˄ В
делится на 3 и на 4
делится на 3 и не делится
А˄ ¬В
¬А˄ ¬В
не делится ни на 3, ни на 4
делится на 3 или на 4 А ˅ В
верно, что12 не делится ни
ни на 4 ¬ ( ¬ А ˄ ¬ В)

8.

Задание
2.
Расставьте
над
символами
логических операций их номера в порядке
выполнения
операций
при
вычислении
выражения:
4
3
2 1
а) ¬ A ˅ (В ˅ ¬ С)
2
1
б) А ˅ В ˄ С
4 3
2 1
5
в) А ˄ ¬ (В ˅ ¬ С) ˅ D

9.

Задание 3. Укажите значения переменных
А и В, если:
а) А ˄ В = 1
А = _____
В = _____
А = _____
В = _____
Ответ: А = 1, В = 1
б) А ˅ В = 0
Ответ: А = 0, В = 0
в) ¬ (А ˄ В) = 1
Ответ: А = 1, В = 0
А = _____
В = _____

10.

Задание 4. Заполните таблицу истинности
логического выражения:
¬ (А ˄ В)
А
В
А˄В
¬ (А ˄ В)

11.

Задание 4. Заполните таблицу истинности
логического выражения:
А˅¬В˅С
А
В
С
¬В
А˅¬В
А˅¬В˅С

12.

Домашнее задание:
Учебник: стр. 119-133 чит.
Задание: Заполнить таблицу истинности
логического выражения:
¬ A ˅ (В ˅ ¬ С)