Hi

Thanks for replying back

I am trying to graph the same image.

I tried using Maple but it is not graphing the same image.

There is a difference between your graph and the graph that I am trying to draw.

Any suggestions?

Take care
 

Thanks for replying back

I really appreciate your help

Take care

View 1327_Tautology.mw on MapleNet or Download 1327_Tautology.mw
View file details

Hi

I really appreciate for replying back.

I am still confused about "Equivalent" command.

The example that I am doing is ((p &implies q) &and (q &implies r), p &implies r);

It is a tautology

Why I am getting two different answers if I use the "Logic" and "Equivalent" command.

I have attached my Maple file.

Take care