「連言標準形」を解説文に含む見出し語の検索結果(11~20/240件中)
否定標準形(ひていひょうじゅんけい、英: negation normal form, NNF)とは、否定記号 ¬ {\displaystyle \lnot } が原子論理式のみにかかり、...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/01 10:08 UTC 版)「節標準形」の記事における「変換手順」の解説古典的な一階述語論理の論理式を節標準形に変換...
節標準形(英: Clausal normal form、CNF)とは、数理論理学において、論理プログラミングや多くの自動定理証明系で使われる論理式の標準形式である。論理式を節標準形に変換すると論理式の...
節標準形(英: Clausal normal form、CNF)とは、数理論理学において、論理プログラミングや多くの自動定理証明系で使われる論理式の標準形式である。論理式を節標準形に変換すると論理式の...
.mw-parser-output .side-box{margin:4px 0;box-sizing:border-box;border:1px solid #aaa;font-size:88%;l...
.mw-parser-output .side-box{margin:4px 0;box-sizing:border-box;border:1px solid #aaa;font-size:88%;l...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...