R


Logische Kontravelenz


… in der Aussagenlogik das XOR ↗