!p1!p0 + !p1!i + !p0!i

= !(p1 + p0) + !(p1 + i) + !(p0 + i) de Morgan's Law

= ![(p1 + p0)(p1 + i)] + !(p0 + i) de Morgan's Law

= ![(p1 + p0)(p1 + i)(p0 + i)] de Morgan's Law

= ![(p1p1 + p1i + p0p1 + p0i)(p0 + i)]

= ![(p1 + p1i + p0p1 + p0i)(p0 + i)] idempotency

= ![p1p0 + p1p0i + p0p0p1 + p0p0i + p1i + p1ii + p0p1i + p0ii]

= ![p1p0 + p1p0i + p0i + p1i] idempotency

= ![p1p0(1 + i) + p0i + p1i] distributive

= ![p1p0(1) + p0i + p1i] law of 1's

= !(p1p0 + p0i + p1i) identity

thanks dude. last night i got down all the way to the distributive step,

but for some reason (1+i) was not equaling (1) in my head :(

i'll blame it on the lateness :)