Statement 1 : The statement `A rarr (A rarr B)`. Is equivalent to `A rarr (A vv B)`
statement 2 : The statement `~[(A ^^ B) rarr (~A vv B)]` is a tautology

Options

A. Statement 1 and statement 2 are both false
B. Statemet 1 and statement 2 are both true
C. statement 1 is true and statement 2 is false
D. statement 1 is false and statement 2 is true

Answer

C