Opposite Literal A Labeled Formula (Positive Literal or Negative Literal) AαA^{\alpha}Aα we call the literal AβA^{\beta}Aβ with α≠β\alpha\neq\betaα=β the opposite or partner literal.