First time here? Check out the FAQ!
answered 2013-11-26 03:39:16 +0100
You can try:
sage: bool(expr(s0=True, s1=True)) True
You can also fix only some variables:
sage: expr(s0=True) s1 + 1