WolframAlpha computational knowledge AI
p = binomial(4, 1)/2^4