Boolean functions simplifier QM-1