Boolean And

sympy.logic.boolalg.And

It analyzes each of its arguments in sequence, it returns true if all of the arguments are true. if at least one argument is false, false is returned.

  • true &true = true
  • true&false = false
  • false & true = false
  • false&false = false

Python3




# import packages
from sympy.abc import x, y
from sympy.logic.boolalg import And
 
res = x & y
print(res)
 
# 1&y ==y
print(And(x, y).subs(x, 1))
 
# 0&y ==0 or False
print(And(x, y).subs(x, 0))
 
# True&False == False
print(And(True, False))
 
# True & True == True
print(And(True, True))
 
# False & False == False
print(And(False, False))
 
# False & True == False
print(And(False, True))


Output:

x & y
y
False
False
True
False
False

What are the Logical Expressions in Sympy?

SymPy is a symbolic mathematics Python package. Its goal is to develop into a completely featured computer algebra system while keeping the code as basic as possible to make it understandable and extendable. The package is entirely written in python language. Logical expressions in sympy are expressed by using boolean functions. sympy.basic.booleanarg module of sympy contains boolean functions. 

The common Python operators & (And), | (Or), and ~ (Not) can be used to create Boolean expressions. >> and can also be used to create implications. other boolean operations or gates are NAND, NOR, XOR, etc.

Similar Reads

Boolean True:

sympy.logic.boolalg.BooleanTrue...

Boolean False:

...

Boolean And:

sympy.logic.boolalg.BooleanFalse...

Boolean Or:

...

Boolean Not:

...

Boolean Nor:

sympy.logic.boolalg.And...

Boolean Nand:

...

Boolean Xor:

sympy.logic.boolalg.Or...

Boolean Xnor:

...

Boolean Equivalent

sympy.logic.boolalg.Not(arg)...

Boolean ITE:

...