ПАСКАЛЬ: лексика, вирази, семантика

Задача

2.1.* Указати всюди і не всюди визначені операції над цілими. Відповідь обгрунтувати.

2.3. Булів тип

A BA and BA or B not A

false falsefalsefalsetrue

false truefalsetruetrue

true falsefalsetruefalse

true truetruetruefalse

Сталі false і true позначають бульові значення "хибність" і "істина". До них застосовні операції "та", "або", "не", що називаються відповідно бульовим множенням (кон'юнкцією), бульовим додаванням (диз'юнкцією) і запереченням. В мові Паскаль вони позначаються знаками and, or і not. Результати застосування цих операцій до бульових значень подано в табл.2.1.

Крім бульових операцій, означено операцію "порядковий номер" ord: ord(false)=0, ord(true)=1. Порядковим номерам бульових значень відповідає результат їх порівняння: false < true. Очевидним чином означено й інші операції порівняння: =, <>, >, <=, >=.

У діалекті Турбо Паскаль додатково означено корисну операцію "виключне або", знак якої xor:

false xor false = true xor true = false,

false xor true = true xor false = true.

Її ще називають "додавання за модулем 2" – якщо подати false і true числовими значеннями 0 і 1 відповідно, а знак xor замінити знаком  , то0  0 = 1  1 = 0, 0  1 = 1  0 = 1.

Отже, ми означили тип, що називається бульовим і позначається ім'ям Boolean на честь видатного англійського математика й логіка Джорджа Буля, засновника математичної логіки.

Задачі

2.2.* Виразити операцію xor через інші бульові операції.

2.3.* Указати значення, що утворюються в результаті застосування операцій:

а) (2*2=4) and true; б) (2*2=4) or false;

в) (not true) or false; г) (ord(true)=1) xor (ord(false)=0).

2.4. Вирази: процес обчислення та значення

Ціла або бульова стала є виразом. Складніший вираз утворюється з простішого або простіших як

1.вираз у дужках;