class_docstr: A KB for Propositional Logic.  Inefficient, with no indexing.
class_docstr_tok: ["A","KB","for","Propositional","Logic",".","Inefficient",",","with","no","indexing","."]
docstr: Checks if the query is true given the set of clauses.
  
  Examples
  ========
  
  >>> from sympy.logic.inference import PropKB
  >>> from sympy.abc import x, y
  >>> l = PropKB()
  >>> l.tell(x & ~y)
  >>> l.ask(x)
  True
  >>> l.ask(y)
  False
docstr_tok: ["Checks","if","the","query","is","true","given","the","set","of","clauses",".","Examples","========",">",">",">","from","sympy.logic.inference","import","PropKB",">",">",">","from","sympy.abc","import","x",",","y",">",">",">","l","=","PropKB","(",")",">",">",">","l.tell","(","x","&","~y",")",">",">",">","l.ask","(","x",")","True",">",">",">","l.ask","(","y",")","False"]
code: def ask(self, query):
      """Checks if the query is true given the set of clauses.
  
      Examples
      ========
  
      >>> from sympy.logic.inference import PropKB
      >>> from sympy.abc import x, y
      >>> l = PropKB()
      >>> l.tell(x & ~y)
      >>> l.ask(x)
      True
      >>> l.ask(y)
      False
  
      """
      return entails(query, self.clauses_)
  
imports: from sympy.logic.boolalg import And, Not, conjuncts, to_cnf, BooleanFunction
  from sympy.core.sorting import ordered
  from sympy.core.sympify import sympify
  from sympy.external.importtools import import_module
label_desc: Use image node_id 2 for calling the PropKB obj's underlying member method code with example usage: obj.ask(query) and returns: entails