\varphi=(\neg p\land q)\lor(\neg r\land s)