No.2ベストアンサー
- 回答日時:
論理和形? なんだろう、積和標準形を方言で言ったのかな?
¬( (A∨B)∧(¬(A∨¬C)) ) = ¬( (A∨B)∧(¬A∧¬¬C) )
= ¬( (A∨B)∧¬A∧C )
= ¬( (A∧¬A∧C)∨(B∧¬A∧C) )
= ¬( (偽)∨(B∧¬A∧C) )
= ¬(B∧¬A∧C)
= ¬B∨¬¬A∨¬C
= ¬B∨A∨¬C
= A∨¬B∨¬C.
これを標準形にすると、
= ( (A∧B∧C)∨(A∧B∧¬C)∨(A∧¬B∧C)∨(A∧¬B∧¬C) )
∨( (A∧¬B∧C)∨(A∧¬B∧¬C)∨(¬A∧¬B∧C)∨(¬A∧¬B∧¬C) )
∨( (A∧B∧¬C)∨(A∧¬B∧¬C)∨(¬A∧B∧¬C)∨(¬A∧¬B∧¬C) )
= (A∧B∧C)∨(A∧B∧¬C)∨(A∧¬B∧C)∨(A∧¬B∧¬C)
∨(¬A∧¬B∧C)∨(¬A∧¬B∧¬C)
∨(¬A∧B∧¬C).
No.3
- 回答日時:
> 命題変数またはその否定をリテラルとします。
> 命題論理式がリテラルの論理積の論理和であるとき、
> その命題論理式は論理和形です。
なら、No.2 の = A∨¬B∨¬C でおしまい。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 オートマトンの問題がわかりません。 2 2022/07/13 12:47
- その他(形式科学) 非決定性有限オートマトンの問題について 1 2022/07/21 21:10
- 数学 微分積分の極限についての問題がわからないです。 1 2023/01/08 13:57
- 数学 述語論理の問題についての質問です。 次の述語論理式で表される命題から、→を削除し→を使わない式に書き 1 2023/02/12 16:53
- 数学 微分積分の微分方程式についての問題がわからないです。 2 2022/07/18 17:44
- 数学 微分積分の二重積分についての問題がわからないです。 1 2022/07/18 17:43
- 数学 微分積分の極限についての問題がわからないです。 1 2023/01/08 13:34
- 数学 微分積分のlimについての問題がわからないです。 6 2022/07/14 14:04
- 数学 微分積分のn次関数についての問題がわからないです。 1 2023/01/08 13:37
- 数学 微分積分の二重積分についての問題がわからないです 2 2022/08/08 15:19
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
cosx/sinxの積分を教えてください
-
答えが「29」になるすごく難し...
-
絶対値不等式を二乗して解く
-
高校数学
-
exp(x^2) の微分と積分の答え...
-
答:略
-
a,b,c,d,eの5つの玉を次のよう...
-
【急募】答えが10になる定積分...
-
この図形の中で仲間はずれのも...
-
高1、数Aの問題です。 soccerの...
-
さんすう 得意な方、教えて下さ...
-
2けたの正の整数のうち、3の...
-
群数列
-
算数得意な方、教えて下さい! ...
-
【P≠NP予想】容疑者Xの献身を...
-
不定積分において積分定数を省...
-
読売中高生新聞の判じ絵パズル...
-
逆三角関数で90度以上の算出法...
-
偏微分についてです。
-
教えて下さい。算数のクイズです。
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
小町算のやり方 教えて下さい。
-
cosx/sinxの積分を教えてください
-
絶対値不等式を二乗して解く
-
次の関数をy=(x-p)²+qの形に変...
-
数学とかで、答えの下に線を引...
-
exp(x^2) の微分と積分の答え...
-
2けたの正の整数のうち、3の...
-
等比数列であり等差数列でもあ...
-
答えが0になるめちゃくちゃ難し...
-
連立方程式について質問です。 ...
-
高校1年の化学です! 物質量の...
-
500円につき1ポイントは15万...
-
数学Aについて分からない問題が...
-
不定積分において積分定数を省...
-
逆三角関数で90度以上の算出法...
-
【急募】答えが10になる定積分...
-
高校数学
-
連立不等式の答えの書き方について
-
答えが「29」になるすごく難し...
-
高1、数Aの問題です。 soccerの...
おすすめ情報
すいません、オートマトンじゃなくて数理論理学でした。
すいません、説明不足でした。
命題変数またはその否定をリテラルとします。命題論理式がリテラルの論理積の論理和であるとき、その命題論理式は論理和形です。