Written as an order law, its sense is more sensible:
+
The proposition may appear counter-intuitive on some ways of reading it, and it is usually excluded from intuitionist propositional calculi.
+
+
Read as a statement about the values of propositions — that is, values <math>p, q \in \mathbb{B} = \{0, 1 \}</math> — and written as an order law, its sense may become more sensible: