Boolean functions simplifier BT-3