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

end;

readkey;

end.

Следует отметить то, что при решении на компьютере у учащихся постоянно присутствует таблица истинности основных логических операций на компьютере, и, к примеру, проверка формул на тавтологии, а также проверка основных логических законов превращается в некоторое самостоятельное “исследование" основных операций логики. Учитывая то, что доказательства законов явно не приводятся, представляется возможным говорить о том, что учащимися познан новый метод доказательства, которое приводится с помощью компьютера.

При рассмотрении темы: “Арифметические и логические основы ЭВМ" можно предложить рассмотреть применение алгебры высказываний в релейно-контактных схемах.

№4. Комитет из трех человек решил применить электрическую схему для регистрации тайного голосования простым большинством голосов. Построить такую схему, при использовании которой голосующий нажимал бы на кнопку, причем в случае принятия решения загоралась бы сигнальная лампочка.

Используя операции конъюнкции и дизъюнкции получим сложное высказывание удовлетворяющее условию задачи. Х= (A and B) OR (A and C) OR (B and C)

(4. bas)

CLS

FOR A=-1 TO 0

FOR B=-1 TO 0

FOR C=-1 TO 0

X= (A AND B) OR (A AND C) OR (B AND C)

PRINT - A; - B; - C,-X

NEXT

NEXT

NEXT

Решение задачи на Паскале: (4. pas)

uses crt;

var a,b,c,x: boolean;

Begin

clrscr;

WRITELN ('a': 10,'b': 10,'c': 10,'x': 10);

writeln;

for a: =false to true do begin

for b: =false to true do begin

x: = (A and B) or (A and c) or (B and C); writeln (a: 10,b: 10,c: 10,x: 10);

end;

end;