wff decomposition rules p v q and m q