一个相容选言判断为真，当且仅当其选言支  。