If the statements $(\mathrm{p}\wedge ~\mathrm{r})\to (\mathrm{q}\vee \mathrm{r})$, q and r are all false, then p 

• A

  is true

• B

  is false

• C

  may be true or false

• D

  data is insufficient