Лабораторная работа №4. Тема: Выполнение логических операций с высказываниями

Тема: Выполнение логических операций с высказываниями.

Цель: получить навыки построения высказываний

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

Логическая переменная символически обозначенная логическая величина, которая может принимать значения только Истина или Ложь.

Логические операции:

1) Логическое умножение(конъюнкция). ^ или &.

2) Логическое сложение(дизъюнкция) V.

3) Логическое отрицание(инверсия) A или A ложное

4) Логическое следование(импликация). Знаки с помощью союзов.

Выражение, начинающееся после союзов если, когда, коль, скоро, называется основанием.

Задание №3. Задача№8.

Айрис живёт в Риме и её профессия певица.

A^B^(AvB ложное) ^B ложное

(A^B)^(A ложное v C)

A^(CvB)

X^YvX ложное ^Z

Вывод: получили навыки построения высказываний

Лабораторная работа №6

Тема: составление таблиц истинности, выражения.

Цель: закрепить знания по законов алгебры логики.

Задание 1

Вычислить значении логических формул, используя таблицы истинности:

не (А и не А) или В и (А и В)=1

Х и У или не X и Z

А	А	А*А	А	В	А+В	А	В	А*В

A	B	A^B

X	Y	X^Y

Задание 2

Приведите примеры истинных и ложных высказываний из геометрии.

	Угол 90 градусов	Угол 120 градусов	Угол 45 градусов
Прямой
Острый
Тупой

Задание 3

Пусть A,B и C – логические величины которые имеют значения A=1; B=0; C=1.

Нарисуйте логическую схему для следующего логического выражения и вычислите его значения.

Не A или B и C

A	B	C	A^B	AVC

Задание 4

Пусть X, Y и Z – логические величины которые имеют значения Х=1; Y=1; Z=0.

Нарисуйте логическую схему для следующего логического выражения и вычислите его значения.

Y или не X и Z

X	Y	Z	X^Z	X+Y

Вывод: научились строить таблицы истинности.

Дата добавления: 2014-12-27