Выражения действительно великоваты для карт Карно, и для моей программы тоже — с файлом sum_mod_255.csv работать тяжеловато — 16 входных переменных тормозят на моем i5 ;( Приемлемо работать можно начиная с sum_mod_64.csv и ниже (10 входов), но вручную решение искать также тяжеловато, так что нахрапом получить результат не удалось.
Но есть и хорошие новости ;)
Во-первых, нашел пару багов у себя, во-вторых — добавил импорт CSV от Logic Friday.
И есть еще одна идея, которую возможно, стоит реализовать — разделить данную систему на более мелкие системы — 4-8 входов с введением промежуточных функций.
Тут есть над чем подумать. Сейчас у меня в программе можно работать с произвольным количеством систем функций, которые (системы функций) никак не связаны между собой — что-то типа проектов. Можно разбить систему функций, подобную вашей, на некоторое число систем с меньшим количеством функций, и сказать, что данный набор систем функций является одним проектом и ввести более общую сущность — типа workspace, или solution, и работать уже с ней. Идея интересная, но требует времени на обдумывание, так что в самое ближайшее время вряд ли будет готовое решение, тем более, что вы, как я понимаю, уже со своей проблемой более или менее разобрались, судя по дате вопроса, и вопрос перешел в разряд академических.
Спасибо за интересную задачу ;)
Согласен, Espresso отличный инструмент, но у карт Карно есть некоторое преимущество — наглядность, которое может помочь найти общие минтермы, входящие в состав нескольких функций, вот и хочу попробовать.
Файлы в формате — входы,, выходы, как я понимаю?
Это Espresso в таком формате принимает?
Ну, минимальных форм много, и не все из них самые минимальные ;)
Если не затруднит, я все же хотел бы поработать с исходной системой, может что и получится хорошее
