[∼∼((∼∼pp∨∨qq))∨∨((pp∧∧rr))∧∧((∼∼qq∧∧rr))]∨r(p∧∼q)∨r(p∧∼q)∨r(p∧∼q)∨r((pp∧∧∼∼qq))∨∨rr(p∧r)∧∼q(p∧r)∧∼q(p∧r)∧∼q(p∧r)∧∼q((pp∧∧rr))∧∧∼∼qq(∼p∧∼q)∧r(∼p∧∼q)∧r(∼p∧∼q)∧r(∼p∧∼q)∧r((∼∼pp∧∧∼∼qq))∧∧rr∼p∨r∼p∨r∼p∨r∼p∨r∼∼pp∨∨rrA(p∧r)∧∼q(p∧r)∧∼q(p∧r)∧∼q(p∧r)∧∼q(p∧r)∧∼q((pp∧∧rr))∧∧∼∼qqB(∼p∧∼q)∧r(∼p∧∼q)∧r(∼p∧∼q)∧r(∼p∧∼q)∧r(∼p∧∼q)∧r((∼∼pp∧∧∼∼qq))∧∧rrC∼p∨r∼p∨r∼p∨r∼p∨r∼p∨r∼∼pp∨∨rrD(p∧∼q)∨r(p∧∼q)∨r(p∧∼q)∨r(p∧∼q)∨r(p∧∼q)∨r((pp∧∧∼∼qq))∨∨rr?
" />(p∧r)∧∼q
(∼p∧∼q)∧r
∼p∨r
(p∧∼q)∨r
s[∼(∼p∨q)∧(p∧r)]∧(∼q∧r)≡[(p∧∼q)∨(p∧r)]∧(∼q∧r)≡[p∧(∼q∨r)]∧(∼q∧r)≡p∧(∼q∧r)≡(p∧r)∼q