論理式について

Σ ={0, 1, (, ), ⋀, ⋁,¬}とする．
以下の生成規則をもつ拡張文脈自由文法により
開始記号 E から導出される Σ 上の記号列を論理式とよぶ．
論理式の定義
B → 0 | 1
F → {¬} B | {¬}(E)
T → F { ⋀ F }
E → T { ⋁ T }
例 (0⋁1)⋀¬¬0
0⋁0⋀1⋁(1⋀0

この論理式ってどういう意味かわかりますか？

No.1 回答者： stomachman 回答日時： 2021/12/09 22:53

例の一つ目は

　　(偽 or 真) and (not(not 偽))
二つ目は最後に")"が抜けてるんだろうということで補って考えれば
　　偽 or (偽 and 真) or (真 and 偽)
という意味。