title: Evaluate Sympy boolean expression in python
body: <p>I am using Python and Sympy.</p>
  
  <p>I have the following:</p>
  
  <pre><code>x,y,z = Symbols('x,y,z')
  doc = {x : False, y : True, z: True}
  rule = Or(x, And(y,z))
  </code></pre>
  
  <p>I am looking for a function in Sympy that will return <code>True</code> on <code>rule.eval(doc)</code>?</p>
  
  <p>Edit:
  Currently I am using <code>rule.subs</code> and <code>rule.xreplace</code> both are performing slowly with about 0.0003 seconds per call. This makes it impractical.</p>