検索内容:
(logic) The process of converting logic statements into standard clauses.
論理式や命題を標準的な節に変換する処理
複雑な式を標準節へ変換する過程によって、以前は明らかでなかった矛盾が明らかになった。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
