>>565
「ABを(A×B)してよい」と「(A÷B)を(A/B)としてよい」は両立して問題ないが
「ABを(A×B)してよい」と「(A÷B)をA/Bとしてよい」は両立できない。

「a/b×c」、「a÷b/c」、「a/b/c」等も数式として認めたいなら

[7]結合子●が＋,−,×,÷,/のどれかであるとき
　「((A÷B)●C)」を「(A/B●C)」
　「(A●(B÷C))」を「(A●B/C)」としてよい
をさらに追加する必要がある。