WolframAlpha computational knowledge AI
.85^2p +(.15)^2 +2(.15)(.85)(p +(1-p)/2) = 1-p