(以下を読み終わったら、ぜひデュエム＝クワイン問題を解く式を、全確率の法則を利用して導く、という解説に進んでください
デュエム＝クワイン問題を解くために全確率の法則をどう利用できるか？｜高橋泰城（たかはしたいき） (note.com))