Two-coordinate Boolean conjunctions for the finite conditional tables

def Algebraic.Cutwidth.Aggregate.Geometry.Entropy.pairBit {n : ℕ} (i j : Fin n) (a b : Bool) (x : Fin n → Bool) : Bool

A signed conjunction on two named coordinates.

Equations

• Algebraic.Cutwidth.Aggregate.Geometry.Entropy.pairBit i j a b x = (x i == a && x j == b)