... Synchronization and < /b> Linearity• −min(a, b) = max(−a, b) :eaba ⊕ b =a ⊕ b ab=e b ⊕ea;• −max(a, b) = min(−a, b) :ea ⊕ b =eaba ⊕ b ab=ea⊗e b ea⊕e b ;• min(a, min (b, c)) = min(min(a, b) , ... c):abc b ⊕ca ⊕bc b ⊕c=abcab ⊕ac ⊕bc and < /b> the symmetryoftheformula with respect to a, b and < /b> c proves the result;• max(c, min(a, b) ) = min(max(c, a), max(c, b) ):c ⊕aba ⊕ b =(c ⊕a)(c b) (c ... b) ⇔ca ⊕ cb ⊕aba ⊕ b =(c ⊕a)(c ⊕ b) a ⊕ b ⊕ c⇔{(ca ⊕ cb ⊕ ab)(a ⊕ b ⊕ c) = (c ⊕a)(c ⊕ b) (a ⊕ b) } .To check the last identity, we consider the expressions in both sides as polyno-mials...