825.sagews

(A v B) ^ A' -> B

Connective is Implication so values must be TRUE -> TRUE or FALSE->FALSE.

import sage.logic.propcalc as propcalc
One = propcalc.formula("(A | B)");
One.truthtable();

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

Confirmed TRUE or TRUE = TRUE

import sage.logic.propcalc as propcalc
Two = propcalc.formula("(B & ~A)");
Two.truthtable();

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

Confirmed TRUE and FALSE = TRUE

import sage.logic.propcalc as propcalc
Three = propcalc.formula("(B -> B)");
Three.truthtable();

B value False True True True

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

True

(A | B) & ~A -> B is a Tautology.