オートマトンの問題がわかりません。

オートマトンについての問題がわからないので、解答を教えて欲しいです。答えだけでなく過程も知りたいです。問題は以下通りです。
￢（（A∨B）∧（￢（A∨￢C）））を論理和形に直してください。

質問者からの補足コメント

• すいません、オートマトンじゃなくて数理論理学でした。

  No.1の回答に寄せられた補足コメントです。 補足日時：2022/07/13 13:31

• すいません、説明不足でした。
  命題変数またはその否定をリテラルとします。命題論理式がリテラルの論理積の論理和であるとき、その命題論理式は論理和形です。

  No.2の回答に寄せられた補足コメントです。 補足日時：2022/07/14 13:54

No.2 ベストアンサー 回答者： ありものがたり 回答日時： 2022/07/13 16:17

論理和形？ なんだろう、積和標準形を方言で言ったのかな？

￢( (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 回答者： ありものがたり 回答日時： 2022/07/14 14:16

＞ 命題変数またはその否定をリテラルとします。

＞ 命題論理式がリテラルの論理積の論理和であるとき、
＞ その命題論理式は論理和形です。

なら、No.2 の = A∨￢B∨￢C でおしまい。

No.1 回答者： stomachman 回答日時： 2022/07/13 13:00

「オートマトンについての問題」はどこに書いてあるの？