Упражнения

Через стрелку Пирса, реализованную в прошлый раз, выразить конъюнкцию, дизъюнкцию, импликацию.

Через штрих Шеффера, реализованный в прошлый раз, выразить конъюнкцию, дизъюнкцию, импликацию.

Написать тестбенчи к заданиям 1 и 2, то есть проверить, что таблицы истинности реализованных функций совпадают с тем, какими они должны быть теоретически.

Написать сумматор для k n-битных чисел, переиспользуя модуль adder_adder_multibits_reuse.

Написать сумматор для k int-овых чисел.

Реализовать свёртку (см. reduce) битвектора фиксированного (параметризованного) размера для любой бинарной логической операции.

Сделать задание 6, используя конъюнкцию или дизъюнкцию, выраженные через стрелку Пирса и штрих Шеффера (задание 1 и 2).