class_docstr: The smallest element of a CNF object.
  
  Parameters
  ==========
  
  lit : Boolean expression
  
  is_Not : bool
  
  Examples
  ========
  
  >>> from sympy import Q
  >>> from sympy.assumptions.cnf import Literal
  >>> from sympy.abc import x
  >>> Literal(Q.even(x))
  Literal(Q.even(x), False)
  >>> Literal(~Q.even(x))
  Literal(Q.even(x), True)
code: def __eq__(self, other):
      return self.arg == other.arg and self.is_Not == other.is_Not
  
imports: from itertools import combinations, product, zip_longest
  from sympy.assumptions.assume import AppliedPredicate, Predicate
  from sympy.core.relational import Eq, Ne, Gt, Lt, Ge, Le
  from sympy.core.singleton import S
  from sympy.logic.boolalg import Or, And, Not, Xnor
  from sympy.logic.boolalg import Equivalent, ITE, Implies, Nand, Nor, Xor
label_desc: Use image node_id 6 for calling the Literal obj's underlying member method code with example usage: obj.__eq__(other) and returns: unknown