被保険者 $(x)$ と $(y)$ の両方が死亡したときに支払われる保険 $A_{\overline{xy}}$ を $A_x, A_y, A_{xy}$ で表した式はどれか。

生存者環成年金と同様、包含排除の原理により和から重複分を引くことで求められる。