# Revision history [back]

### satisfying assignments

sage.logic.propcalc allows one to see if a sentence in propositional logic is satisfiable.

The documentation has

sage: f = propcalc.formula("a|b") sage: f.is_satisfiable() True

Is there a syntax that would give a satisfying assignment? I'd like something like

sage: f.is_satisfiable(show) a:=True, b:=True

The documentation doesn't give the syntax, but I'm betting it's there somewhere.

 2 No.2 Revision tmonteil 25328 ●29 ●180 ●472 http://wiki.sagemath.o...

### satisfying assignments

sage.logic.propcalc allows one to see if a sentence in propositional logic is satisfiable.

The documentation has

sage: f = propcalc.formula("a|b")
sage: f.is_satisfiable()
TrueTrue


Is there a syntax that would give a satisfying assignment? I'd like something like

sage: f.is_satisfiable(show)
a:=True, b:=Trueb:=True


The documentation doesn't give the syntax, but I'm betting it's there somewhere.