The statement `(p -> ~p) ^^ (~p -> p)` is

The statement (p implies p) ^^ (~p implies p) is a-

The statement (p rArr q) iff (~p ^^ q) is a

The dual of the statement [p vv(~q)]^^(~p) is

The statement (p to ~q) hArr (p ^^q) is a-

The statement p implies ~ (p ^^ ~ q) is -

Statement-1 : ( p ^^ ~ q) ^^ (~ p ^^ q) is a facllocy. Statement -2: ( p to q) harr ( ~ q to ~ p) is a tautology .

The negation of statement (~p vvq) ^^ (~p ^^~q) is -

The statement pattern p^^(~p^^q) is

The statement pattern p^^(~p^^q) is