⊤
φ if ψ
not both
φ and ψ
not ψ
φ only if ψ
not φ
φ if and
only if ψ
neither
φ nor ψ
φ or ψ
φ
φ or ψ
but not
both
φ but not ψ
ψ
φ and ψ
ψ but not φ
⊥