[OK] Tabla conjunta normaliza
[OK] Condicional X=1|Y=1
[OK] Condicional X=0|Y=1
[OK] Condicionales en Y=1 normalizan
[OK] Condicional Y=1|X=1
[OK] Probabilidad total de positivo
[OK] Posterior positivo
[OK] Probabilidad total de negativo
[OK] Posterior negativo
[OK] Odds positivo coincide con Bayes
[OK] Odds negativo coincide con Bayes
[OK] LR+ correcto
[OK] LR- correcto
[OK] Dos positivos elevan posterior
[OK] Posterior con dos positivos < 1
[OK] MLE binomial cerca de 0.7
[OK] Likelihood MLE supera theta=0.5
[OK] Integral analítica likelihood = 1/(n+1)
[OK] Integral numérica coincide
[OK] Likelihood no normaliza como densidad
[OK] Posterior con prior uniforme normaliza aproximadamente
[OK] XOR P(W=0)=1/2
[OK] XOR P(U=1|W=0)=1/2
[OK] XOR P(V=1|W=0)=1/2
[OK] XOR P(U=1,V=1|W=0)=1/2
[OK] XOR rompe independencia al condicionar
[OK] Curva posterior permanece en [0,1]
[OK] Posterior positivo excede prior para LR+>1
[OK] Posterior negativo es menor que prior para LR-<1
