3 ms·
https://en.wikipedia.org/wiki/Logical_biconditional https://en.wikipedia.org/wiki/Logical_biconditional (A⇔B)⇔C has more in common with the other logical opera
by rrobukef 7y ago
https://en.wikipedia.org/wiki/Logical_biconditional https://en.wikipedia.org/wiki/Logical_biconditional
(A⇔B)⇔C has more in common with the other logical operators: due to it's associativity an interpretation that is, in my opinion, closer than A=B=C.
Edit, removed: Note that (A⇔B)∧(B⇔C)) is not one of the two ambiguous options: either (A⇔B)⇔C or (A∧B∧C)∨(¬A∧¬B∧¬C) this is wrong.