NOT ( ( NOT P ) AND ( NOT Q ) )