Aussagenlogischer Begriff entspricht dem mathematischen (nichtausschließenden) ODER mit der Wahrheitstafel