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

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

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

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

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

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

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

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

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

                1                 3              2

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

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

Последовательность выполнения операций во 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