2020年度「離散数学」のページ

資料

選言標準形と連言標準形

例題1

1. 以下の命題論理式それぞれについて、同値な選言標準形と同値な連言標準形をみつけよ。

   •  \((X\wedge Y)\vee(\neg X\imp Z)\)
   •  \((X\imp Y\wedge Z)\wedge(\neg Y \imp X \wedge Y)\)
   •  \(\neg((X\wedge(\neg X \vee Y))\vee(X\wedge Y \imp Z))\)