Примеры. Алгоритм получения записи составного высказывания в виде

Алгоритм получения записи составного высказывания в виде

Анализ Лог_выраж_2

Анализ Лог_выраж_1

Порядок (последовательность) выполнения базовых операций

Последовательность выполнения базовых операций устанавливается скобками. Если скобки отсутствуют, то последовательность выполнения операций определяется их приоритетом.

Уровень приоритета (очерёдность выполнения)	Операция
	отрицание
	конъюнкция
	дизъюнкция

Имеется таблица с информацией

№ строки	Автор	Название	Год	Полка
	Беляев А.Р.	Человек-амфибия
	Кервуд Д.	Бродяги севера
	Тургенев И.С.	Повести и рассказы
	Олеша Ю.К.	Избранное
	Беляев А.Р.	Звезда КЭЦ
	Тынянов Ю.Н.	Кюхля
	Толстой Л.Н.	Повести и рассказы
	Беляев А.Р.	Избранное

Имеются 2 логических выражения:

Лог_выраж_1: (ГОД=1987+ГОД=1986) & (Полка=5+Полка=1)

Лог_выраж_2: ГОД=1987+ГОД=1986 & Полка=5+Полка=1

Определить истинность каждого выражения для различных строк таблицы.

Последовательность выполнения операций в 1-м логическом выражении.

1 3 2

(ГОД=1987 + ГОД=1986) & (Полка=5 + Полка=1)

Операция	Результаты выполнения операций
	Номер строки таблицы
	и	л	л	и	л	л	и	л
	и	л	и	и	и	и	и	л
	и	л	л	и	л	л	и	л

Последовательность выполнения операций во 2-м логическом выражении.

2 1 3

ГОД=1987 + ГОД=1986 & Полка=5 + Полка=1 или

2 1 3

ГОД=1987 + (ГОД=1986 & Полка=5) + Полка=1 или

Операция	Результаты выполнения операций
	Номер строки таблицы
	л	л	л	л	л	л	л	л
	и	л	л	и	л	л	л	л
	и	л	и	и	л	и	и	л

логического выражения на формальном языке (языке алгебры логики):

1. В составном высказывании выделить каждое простое высказывание и обозначить его буквой латинского алфавита (a= <текст простого высказывания>.

2. Выявить связи между простыми высказываниями в виде логических функций и составить логическое выражение.

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

1. Число 376 чётное и трёхзначное.

a = «Число 376 – чётное». b = «Число 376 – трёхзначное». С = a & b.

2. Неверно, что Солнце движется вокруг Земли.

a = «Солнце движется вокруг Земли». b = ⌐a.

3. Составное высказывание: «(2*2=5 или 2*2=4) и (2*2≠5 или 2*2≠4)».

Простые высказывания: a= «2*2=5» b= «2*2=4»

Составное высказывание: (a+b) & ( + ) = (0+1) & (1+0) = 1&1 = 1

Дата добавления: 2014-01-11