p.p1%20%7Bmargin%3A%200.0px%200.0px%200.0px%200.0px%3B%20text-align%3A%20justify%3B%20font%3A%2012.0px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D%0Aspan.s1%20%7Bfont%3A%2012.0px%20Symbol%7D ( p ∧ r ) → q
B.
p.p1%20%7Bmargin%3A%200.0px%200.0px%200.0px%200.0px%3B%20text-align%3A%20justify%3B%20font%3A%2011.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D%0Aspan.s1%20%7Bfont%3A%2010.5px%20SimSun%7D%0Aspan.s2%20%7Bfont%3A%2011.5px%20Symbol%7D q ∨ ¬ ( p ∧ r )
C.
p.p1%20%7Bmargin%3A%200.0px%200.0px%200.0px%200.0px%3B%20text-align%3A%20justify%3B%20font%3A%2010.5px%20SimSun%7D%0Aspan.s1%20%7Bfont%3A%2011.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D%0Aspan.s2%20%7Bfont%3A%2011.5px%20Symbol%7D r → ( p → q )
D.
p.p1%20%7Bmargin%3A%200.0px%200.0px%200.0px%200.0px%3B%20text-align%3A%20justify%3B%20font%3A%208.5px%20SimSun%7D%0Aspan.s1%20%7Bfont%3A%209.0px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D%0Aspan.s2%20%7Bfont%3A%209.0px%20Symbol%7D ( r → q ) ∧ ¬ p