1537.sagews

Logic puzzle:

You should not invite Andrew or not invite Lisa.
If you don't invite Diana, Mary will not come either.
If you invite Lisa, you should also invite Paul or John.
You should not invite both John and Mary.
Paul never goes to parties.
You definitely want to invite Lisa.

import sage.logic.propcalc as propcalc

f = propcalc.formula("(~a | ~l) & (~d -> ~m) & (l -> (p | j)) & ~(j & m) & (~p) & (l)")

f.truthtable()

a l d m p j value False False False False False False False False False False False False True False False False False False True False False False False False False True True False False False False True False False False False False False True False True False False False False True True False False False False False True True True False False False True False False False False False False True False False True False False False True False True False False False False True False True True False False False True True False False False False False True True False True False False False True True True False False False False True True True True False False True False False False False False False True False False False True True False True False False True False False False True False False True True False False True False True False False False False True False True False True False False True False True True False False False True False True True True False False True True False False False False False True True False False True True False True True False True False False False True True False True True False False True True True False False False False True True True False True False False True True True True False False False True True True True True False True False False False False False False True False False False False True False True False False False True False False True False False False True True False True False False True False False False True False False True False True False True False False True True False False True False False True True True False True False True False False False False True False True False False True False True False True False True False False True False True False True True False True False True True False False False True False True True False True False True False True True True False False True False True True True True False True True False False False False False True True False False False True False True True False False True False False True True False False True True False True True False True False False False True True False True False True False True True False True True False False True True False True True True False True True True False False False False True True True False False True False True True True False True False False True True True False True True False True True True True False False False True True True True False True False True True True True True False False True True True True True True False

The result is:

['a', 'l', 'd', 'm', 'p', 'j', 'value']
[False, True, False, False, False, True, True]
[False, True, True, False, False, True, True]

This means that Lisa and John must be invited. You can
invite Diana, but this is optional.