Operator order of ITE-operator?

Question

The binary operators have the following order:

Where in this order is the Shannon operator (a?b:c) placed?

When doing exercises I stumbled across this formula:

Which operator has precedence? d|a or a?d:(c->a) ?

Answer 1

Interesting question, isn't it? However, there is no need to determine where the conditional operator belongs in that list, since we always write it with delimiters.

You cannot write something like a?b:c; it would be a syntax error since the brackets are mandatory here. As a consequence, it is always clear what the preference is. For example:

• (a?b:c)&d is a conjunction
• (a?b:c&d) is a conditional