サクサク読めて、アプリ限定の機能も多数!
正リテラルを高々1つ含む選言節→¬P∨¬Q∨¬R∨¬S∨¬T∨Uは含意が¬P∨Qと同値なことから、P∧Q∧R∧S∧T→Uになる。
kiyo_hiko のブックマーク 2016/01/26 20:44
Horn clause for SemimarII[prolog][horn][clause]正リテラルを高々1つ含む選言節→¬P∨¬Q∨¬R∨¬S∨¬T∨Uは含意が¬P∨Qと同値なことから、P∧Q∧R∧S∧T→Uになる。2016/01/26 20:44
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.ipc.hokusei.ac.jp/~z001022015/12/27
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
正リテラルを高々1つ含む選言節→¬P∨¬Q∨¬R∨¬S∨¬T∨Uは含意が¬P∨Qと同値なことから、P∧Q∧R∧S∧T→Uになる。
kiyo_hiko のブックマーク 2016/01/26 20:44
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Horn clause for SemimarII
www.ipc.hokusei.ac.jp/~z001022015/12/27
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /