Respuesta :

Make a truth table, let A = pVq,  B =q->p

p     q        A       B       AVB
0      0       0       1         1
0      1       1       0         1
1      0       1       1        1
1      1       1       1        1

Since it is True for every possible state of p and q, then it is a tautology.