I find that the simplest way to understand P => Q is to express it as (!P or Q).