Ответы к упражнениям

Упражнение 4.1

Упражнение 4.2

Упражнение 4.3

Упражнение 4.4

функции е и g.

Упражнение 4.5

p∧q = q∧p;

p∨q = q∨p;

(p∧q)∧r = p∧(q∧r) и т. д.

Упражнение 4.6

Упражнение 4.7

См. программу 4.11.

Упражнение 4.8

a) all (x: (2 2 Nand Nand Nor) com x)

в) all (x: (1 1 Not Not Nor) com x)

Упражнение 4.9

а) таблицы истинности совпадают;

б) all (x: (2 2 And And And) com x) результаты совпадают, за исключением того, что fn выводит на экран символ X, означающий "безразличное" состояние, отметим, что таблица для Or может быть также получена с помощью следующего запроса:

аll (х: (1 1 Link Link Or) com x)

Упражнение 4.10

а) is ((1 1 Link Link Nand) equiv (1 1 Not Not Or))

all (x: (1 1 Not Not And) com x)

Упражнение 4.11

а) is ((2 2 Or Or Or) equiv (2 2 Nor Nor Nand))

в) is ((3 1 Or Link And) equiv (3 1 Nor Not Nor))

Отметим, что аналогичную информацию и даже несколько большую можно получить с помощью, например, такого запроса:

all (х: х isequiv (3 1 Or Link And)