https://research.preferred.jp/2011/01/schoening-3sat/
とりあえず参考になるかもしれないから3SATランダムウォークのページ張っとくわ
そんな簡単な式にはならねーんじゃねーの
2項係数とか出てきそう