Task #4675
Манипуляция с функциями алгебры логики
Start date:
01/20/2014
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Published in build:
Description
Средства работы с представлениями ФАЛ (ДНФ, КНФ и т.п.). Трансформация, оптимизация и т.п.
History
Updated by Alexander Kamkin almost 6 years ago
Updated by - Subject changed from [boolean] Манипуляция с функциями алгебры логики to [logic] Манипуляция с функциями алгебры логики
Updated by Alexander Kamkin over 5 years ago
- Subject changed from [logic] Манипуляция с функциями алгебры логики to Манипуляция с функциями алгебры логики
- Category set to Logic
Updated by Andrei Tatarnikov