Did I find the right examples for you? yes no

# sympy.core.operations.LatticeOp

All Samples(12)  |  Call(0)  |  Derive(6)  |  Import(6)

```from sympy.matrices import MatAdd, MatMul, MatrixExpr
from sympy.core.sets import Union, Intersection, FiniteSet
from sympy.core.operations import AssocOp, LatticeOp
from sympy.unify.core import Compound, Variable, CondVariable
from sympy.unify import core
```

```from sympy.matrices import MatAdd, MatMul, MatrixExpr
from sympy.core.sets import Union, Intersection, FiniteSet
from sympy.core.operations import AssocOp, LatticeOp
from sympy.unify.core import Compound, Variable, CondVariable
from sympy.unify import core
```

```"""Boolean algebra module for SymPy"""
from sympy.core.basic import Basic
from sympy.core.operations import LatticeOp
from sympy.core.function import Application, sympify

```
```class And(LatticeOp, BooleanFunction):
"""
Logical AND function.

It evaluates its arguments in order, giving False immediately if any of them
```
```class Or(LatticeOp, BooleanFunction):
"""
Logical OR function

It evaluates its arguments in order, giving True immediately if any of them are
```

```from sympy.core.numbers import Number
from sympy.core.decorators import deprecated
from sympy.core.operations import LatticeOp
from sympy.core.function import Application, sympify
from sympy.core.compatibility import ordered, xrange
```
```class And(LatticeOp, BooleanFunction):
"""
Logical AND function.

It evaluates its arguments in order, giving False immediately
```
```class Or(LatticeOp, BooleanFunction):
"""
Logical OR function

It evaluates its arguments in order, giving True immediately
```

```from sympy import Integer, S
from sympy.core.operations import LatticeOp
from sympy.utilities.pytest import raises
from sympy.core.sympify import SympifyError

# create the simplest possible Lattice class

class join(LatticeOp):
```

```from sympy import Integer