A potential advantage of using a Boolean-ring formalism for propositional formulæ is the large measure of simplification it facilitates.
確定! 回上一頁