Se p e q são proposições e ~p e ~q suas respectivas negações, então podemos dizer que (p ? q) ? (~q v p) é uma: