Ask Your Question

Revision history [back]

You can try:

sage: bool(expr(s0=True, s1=True))
True

You can also fix only some variables:

sage: expr(s0=True)
s1 + 1