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

end.

а также проверить следующие тождества:

NOT (NOT A) = A (закон двойного отрицания).

NOT (A AND NOT A) = 1 (закон отрицания противоречия).

A OR NOT A =1 (закон исключенного третьего).

Решение для первого тождества: (2. bas,

2. pas)

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

usescrt;

var a: boolean;

Begin

clrscr;

WRITELN ('not (not a) ': 12,'a': 7);

writeln ('---------------------');

for a: =false to true do

writeln (not (not a): 10,a: 10);

readkey;

end.

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

Кроме того, с помощью компьютера можно упростить следующие выражения:

1. A IMP NOT A (NOT A)

2. A EQV NOT A (0)

3. (A IMP A) IMP A (A)

4. NOT A IMP (A IMP B) (1)

5. A IMP (A IMP B) (A IMP B)

6. A IMP (B IMP A) (1)

7. ( (A IMP B) IMP A) IMP B) (A IMP B)

8. (A EQV B) IMP (A IMP B) (1)

9. (A IMP B) IMP (B IMP A) (B IMP A)