17.1.15.
Der Sachverhalt p.q fällt unter den Satz „p ⌵ q”.