807.sagews

Change Statement within propcalc.formula().

For Example: "~(A|B) <-> ~A & ~B"

if using Worksheet at www.sagenb.org make sure to select evaluate after changing Statement.

f.is_tautology() will confirm if Statement is True or False.

f.truthtable() will printout a proper truthtable (Table may appear upside down or mixed up when compaired to your written version or examples from textbook, to solve for individual conjunctions simply create a new cell for each).

I would suggest creating your own worksheet using this code. Please share and improvements or corrections you find.

Is it a Tautology?

import sage.logic.propcalc as propcalc 
f = propcalc.formula("~(A|B) <-> ~A & ~B"); 
f.is_tautology();

True

Is it a Contradiction?

f.is_contradiction()

False

Lets see the Truthtable

f.truthtable();

A B value False False True False True True True False True True True True