( P implies R) equivalent ( Q implies R)