Реферат: Алгебра высказываний на уроках информатики

Как видно из таблиц истинности, многие выражения достаточно легко сводятся к более простым.

Обладая всего лишь начальными навыками алгоритмического языка можно также использовать компьютер для решения логических уравнений: Найти X,Y из следующих уравнений:

(1 IMP X) IMP Y=0 Отв: (x=1 y=0)

X OR Y = NOT X (x=0, y=1)

Решение: (3. bas,

3. pas)

CLS

PRINT " x y"

PRINT

FOR x = 0 TO - 1 STEP - 1

FOR y = 0 TO - 1 STEP - 1

IF (x OR y) = (NOT (x)) THEN PRINT - x; - y

NEXT

NEXT

Замечание: в языке Паскаль для решения задач сначала следует выразить операции следования и эквивалентности через операции OR и AND. Так операция следования может быть записана следующим образом a IMP b = NOT (a) OR b), а операция эквивалентности как a EQV b = (a OR (NOT b)) AND ( (NOT a) OR b) илиследующимобразом

a EQV b = (a AND b) OR ( (NOT a) AND (NOT b)).

Решение на Паскале:

usescrt;

var y,x, imp,a: boolean;

Begin

clrscr;

WRITELN ('x': 10,'y': 10);

writeln;

for x: =false to true do

begin

for y: =false to true do

begin

if not (not (true) or x) or y = false

then writeln (x: 10,y: 10);