>¬¬pとpは同値なのか

勿論、同値!