分からない問題はここに書いてね443

[0816 １３２人目の素数さん 2018/05/27(日) 19:28:14.78 ID:DWIbh3ID]

>>814
一般に４変数の標準形で１５個も節は要らない
(P→Q)→(R→¬S)
=(P∧¬Q)∨(¬R)∨(¬S)
=(P∨¬R∨¬S)∧(¬Q∨¬R∨¬S)