如图，关于piecewiseexpand有两个问题请教大家：第一，那个true有没有办法变成剩下的条件明确表示出来（一个命令让他自动出来，而不是写true（这里的true其实就是其他所有情况））；第二，结果里面的第一种情况明显是不存在的（见图片中下面一个命令得到的结果是false），为啥它还要显示出来，有没有办法直接增加命令，让其不存在（也就是说，当下面的结果中某个条件与上面piecewiseexpand中的条件相冲突时就不存在）
另外，附上其代码，请大家多多指教，谢谢！
Clear["`*"];
PiecewiseExpand[\[Alpha]*(\!\(
\*SubsuperscriptBox[\(\[Integral]\), \(Min[Max[
\*FractionBox[\(p2 - \((p1 - H)\)\), \(H\)], 1], B]\), \(B\)]\(
\*FractionBox[\(1\), \(B -
1\)] \[DifferentialD]x\)\)) + (1 - \[Alpha])*(\!\(
\*SubsuperscriptBox[\(\[Integral]\), \(Min[Max[
\*FractionBox[\(p2 - \((p1 - L)\)\), \(L\)], 1], B]\), \(B\)]\(
\*FractionBox[\(1\), \(B - 1\)] \[DifferentialD]x\)\)),
p1 - p2 < 0 && H > L > 0 && 0 < \[Alpha] < 1 && g >= B > 1 &&
p1 <= L && p1 <= p2 <= g*p1]

第一问，似乎没有内置选项可调，但是如果只是要获得比较好看的显示形式，那还是很容易的：
expr = PiecewiseExpand[\[Alpha]*
Integrate[1/(B - 1), {x, Min[Max[(p2 - (p1 - H))/H, 1], B], B}] + (1 - \[Alpha])*
Integrate[1/(B - 1), {x, Min[Max[(p2 - (p1 - L))/L, 1], B], B}],
p1 - p2 < 0 && H > L > 0 && 0 < \[Alpha] < 1 &&
Inequality[g, GreaterEqual, B, Greater, 1] && p1 <= L && p1 <= p2 <= g*p1, Reals]
HoldForm@Piecewise@# &@
Append[expr[[1]], {expr[[-1]], ! Or @@ expr[[1, All, -1]] // Simplify}]
第二问我也不知道怎么回事……说实话我挺意外的，除了Reduce外的一众化简函数居然跪在了不等式化简上。这个不妨去Stackexchange问问。