Why isn't there just a single line?

        OV = AMSB ⊕ BMSB  ∧  (FMSB ⊕ AMSB)

Firefox:

Chrome: