Boolean functions simplifier QM-2