Язык схем.
По умолчанию число выходов в схемах условий будем полагать равным единице.
0.
Описать схему and3, c тремя входами, возвращающую 1 в том и только в том случае, когда все значения ее входов равны 1.
1.
Описать схему sort, c входами a, b и выходами min и max возвращающую в min наименьшее, а в max наибольшее из a и b.
2.
- Описать схему c двумя входами xor (исключающее или; сложение по модулю два), возвращающую 1 в том и только в том случае, когда значения на ее входах различны.
- Описать схему c четырьмя входами, меняющую свое значение при изменении значения любого из входов. Сколько существует таких различных схем? Докажите.
- Описать схему major3 с тремя входами, возвращающую значение заданное на большинстве входов.
- Описать схему major7, аналогичную предыдущей.
4.
- Описать схему _оr, моделирующую базовую схему OR и использующую только схемы NOT и AND
- Описать схему _and, моделирующую базовую схему AND и использующую только схемы NOT и OR
5.
- Описать схему s, работающую в соответствии со следующей таблицей:
a | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 |
b | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 |
c | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 |
s | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 |
6.
- Описать схему add2, cо входами a1, a0, b1, b0 и выходами s2, s1 и s0, моделирующую сложение двух двухразрядных чисел.
- Описать схему add4, моделирующую сложение двух четырехразрядных чисел.
- Описать схему add8, моделирующую сложение двух восьмиразрядных чисел.
- Описать схему grEq8, принимающую два восьмиразрядных числа, как в последнем пункте предыдущей задачи и возвращающую 1 в том и только в том случае, когда первое из них больше или равно второму.
8.
Описать схему sub8, принимающую два восьмиразрядных числа, первое из которых заведомо не меньше второго и возвращающее их разность.
9.
Описать схему mult4, принимающую два четырехразрядных числа, и возвращающее их произведение.
10.
Описать схему div4, принимающую восьмиразрядное делимое и четырехразрядный делитель и возвращающее их частное и остаток.