力ずくで条件式書くと言うところにすごい恐怖感を感じる。
計算式が壊滅的なのは少しわかったが、真偽値同士の組み合わせも
ドモルガンの法則でまとめたり、カルノー図書いて、この変数が不問ならすごく都合がいいから先にその分岐しちゃおうとか、そういう事一切できなさそう。

と言うか、せめて同じ事を繰り返してますよ、と書きたいならインデント揃えて縦に並べられんか?と思うな。

思いつきで書きなぐっただけに見える。