Rule 12.6, effectively Boolean expressions in assignment?

[misra-c]

An effectively boolean expression can be the operand of the assignment operator or any operand of the ternary operator.

Code:

a = (b == c);  
a = b > 5;
c = a || b;

These are allowed

Full clarification will be in Technical Clarification 1.