Offтопик:

Сообщение от
deemon
А мне ещё одна теорема нравится ( теорема де Моргана , кажется ) - что если в любой цифровой схеме , какой угодно сложности , заменить все элементы И на ИЛИ , элементы ИЛИ на И , и все входы и выходы схемы проинвертировать - то получится полностью эквивалентная схема На первый взгляд вроде бы не очевидно , но тем не менее - легко доказывается ... вообще забавный факт
Это как бы азы булевой алгебры, что
Alex и сформулировал. А еще есть всякие методы оптимизации логики (типа карт Карно), тоже не очевидные, но работающие.
Соб-но компилятор ПЛИС при синтезе схемы подобные преобразования и осуществляет.
Т.е. то что описано в коде или нарисовано в графическом редакторе - это
одно из представлений данного булевого выражения, которое можно собрать множеством других способов, и которое синтезатор все равно соберет по своему (как правило более оптимально, на меньшем кол-ве вентилей).
Социальные закладки