追加ですいません、
(P→Q)→(R→notS)
を連言標準形にせよ。という問題ですが、
これ、Fになるパターンが1つしかないので選言標準形の方が1項のみで、逆に連言標準形が15項の論理積になるかと思ったのですがあってますか?