3 ms·
What? `(A⇔B)∧(B⇔C)` is exactly equivalent to `(A∧B∧C)∨(¬A∧¬B∧¬C)` which is equivalent to `A = B = C`
by Diggsey 7y ago
What? `(A⇔B)∧(B⇔C)` is exactly equivalent to `(A∧B∧C)∨(¬A∧¬B∧¬C)` which is equivalent to `A = B = C`
- rrobukef 7y agoSo it is.