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.
As you can see, the is_satisfiable() method uses the truthtable() method to find the answer. You can do the same and print satisfying assignments:
sage: for row in f.truthtable().get_table_list()[1:]:
....: if row[-1]:
....: print row[:-1]
[False, True]
[True, False]
[True, True]
@Larry Moss: you can click the check-mark at the top-left of the anwser to mark it as the accepted answer.
Asked: 2014-09-02 20:22:13 +0100
Seen: 726 times
Last updated: Sep 02 '14
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
