Skip to content

P1, P2, P3 equivalent cell generation + 0, 1 constants matching

Черток Никита Дмитриевич requested to merge p3_filler into main

Наколеночное заполнение P1, P2 и P3 множеств эквивалентности логических функций. Добавлена генерация одновходовых констант, пока они тоже матчатся без дополнительного прохода.

Merge request reports