ИСТИНА

База данных содержит сведения о сложности булевых функций пяти переменных в классе контактных схем, а также в классе схем из функциональных элементов над базисом из конъюнкции, дизъюнкции и отрицания. Множество всех функций разбито на классы эквивалентности, порождаемые операциями перестановки переменных с возможным инвертированием. Для каждого класса хранятся известные верхние оценки сложности и доставляющие их схемы. В базу данных включены сведения о схемах, получаемых по методу каскадов, а также результаты перебора всех схем малой сложности.