Tag Info

New answers tagged

2

a = Equivalent[Implies[p, And[q, r]], And[Implies[p, q], Implies[p, r]]] // TraditionalForm TautologyQ @@ a True Explanation tau = Equivalent[Implies[p, And[q, r]], And[Implies[p, q], Implies[p, r]]]; tau // Head Equivalent tau // TraditionalForm // Head TraditionalForm Apply, or @@, replaces the "wrong" Head TraditionalForm with ...


0

I figure it out by running ?a a=TraditionalForm[(p[Implies]q)&&(p[Implies]r)[Equivalent](p[Implies]q&&r)] the TraditionalForm was the issue.


3

Using Assuming I have not made an error (apologies if I have), this reduces to False for all inputs. x1 = Nand[a, b]; x2 = Or[b, c]; x3 = And[x1, And[x1, Not[x2]]]; x4 = Nor[x1, x3]; x5 = And[x3, x4]; The truth table: TableForm[BooleanTable[{a, b, c, x5}, {a, b, c}], TableHeadings -> {None, {a, b, c, x5}}] and BooleanMinimize[x5] yields False ...



Top 50 recent answers are included