析取的可[交]換性