I had just the same questions when I first met those propositions, so I'd like to share my intuitions.
Before starting, let me say that I do think going through nilpotent elements - radical ideal - reduced ring first helps understanding prime and maximal ideas. At least, this was my learning process, and I found easier finding intuitive explanation of why a ring modulo a radical ideal gives a reduced ring. So maybe have a look at Relantionship between nilpotents - radical ideals - reduced rings. (If you understand that, I think you may even have all the elements to come up with the rest of the answer yourself.)
Now to prime and maximal ideals.
Prime ideals: a domain is a place where no two elements, when multiplied together, yield zero. We always need to keep this in the back of our minds, because this is what we would like to achieve. So how can we achieve that? Take whatever ring you want, how can we, in a way, build a domain ring out of it?
We say: okay, the problem is when $a*b = 0$ and $a, b \neq 0$. It seems stupid, but the whole solution is in the latter condition. If we could magically say that every time that $a*b = 0$, either $a$ or $b$ would become zero (whatever this means), then we would indeed have built a domain ring. But lo!, we do have a way of transforming elements to zero, and that is through a quotient space!
In fact, imagine to go through all possible products between all ring elements: every time one of those products would yield zero, you take one of the factors and put it in a set. At the end of the story, you have a set of most null-divisor elements (I say most, because in $\mathbb{Z}_{6}$, for example, $2*3 = 0$, and you can put in your set either $2$ or $3$, you don't need to take them both.) What it's true is that a such set is more than a set, it's indeed an ideal: what we call a prime ideal.
Now, what does it happen if we quotient the ring by a prime ideal? We are transforming to zero all elements which gave us problems in the ring (i.e. which gave rise to null-divisors), and lo!: if $a*b = 0 \mid a,b \neq 0$ in the ring, we are now sure that in the quotient, either $a$ or $b$ are indeed $0$! Thus we have a domain ring!
Maximal ideals: this gets way trickier, and I fear I don't have a ready intuition to share. I do have some hints, but I am not entirely sure they are correct, so take them as they are.
As above, we want to set to zero all elements which don't have multiplicative inverse. First of all, we know that if a maximal ideal contains an invertible element, than that ideal is actually the whole ring (i.e. it is not a proper ideal). So all invertible elements will for sure be out of a maximal ideal, which is made up entirely by non-invertible elements (the ones we want to get rid of).
However, things aren't so easy, because the strategy we used before doesn't work here: grouping together all non-invertible elements doesn't give us an ideal (think about the non-invertible of $\mathbb{Z}_{10}$, for example), so we can't expect to build a field just taking away all non-invertible elements.
For example, we know that for $\mathbb{Z}$, all ideals of the form $(p) \mid p $ prime are maximal, and indeed all $\mathbb{Z}_{p}$ are fields. But look at what happens! We are not taking away non-invertible elements (2 is non-invertible in $\mathbb{Z}$, and yet it's still there), but in that quotient elements manage to find a multiplicative inverse among the ones that are left! This fact (that inverses are created in the quotient) is what makes very difficult having an intuition for this fact, I believe.