Wolfram Cloud Document

In[]:=

Clear[expr,A,B]expr=((A⇒B)A);BooleanTable[expr,{A,B}]BooleanTable[((A⇒B)A)]expr=Implies[Implies[A,B],A];BooleanTable[expr,{A,B}]

Out[]=

{True,True,!False⇒True,!False⇒False}

Out[]=

{True,True,False,True}

Out[]=

{True,True,False,False}