\hbox{$(\varphi\vee\psi\vee\tau)\wedge(\neg\varphi\vee\neg\psi\vee\tau)$}