证明{析取},{合取},{条件}不是最小联结词.