我有這樣的代碼，我需要轉化爲CNF（這是在準備考試，所以沒有一門功課！）： p,q
r :- q
false :- p , s
s :- t
t
這裏就是我所做的： p^q^(r V ~q)^(~p V ~s)^(s V ~t)^t
= r
我的推理是否正確？ 這裏有一個問題： 要查詢與R上的數據庫。什麼條款，你應該添加到您的數據庫？ 我完全不理解這一點。簡化後的數據庫基本上是
我想用minisat解決一個7 * 7大小的生活遊戲，以獲得穩定的世代。 在這裏，我簡化了生與死的規律： Von Neumann de rayon 1 有南，東，北鄰居活着的細胞將活着。 （XIN：北鄰;謝：東部鄰國;紅雙喜：南方鄰居） My formule 但我不知道這種改變爲CNF（合取範式） 有人能幫助我嗎？牛逼
我正在與一個練習，我需要顯示KB |= ~D。 我知道知識庫是： - (B v ¬C) => ¬A
- (¬A v D) => B
- A ∧ C
轉換爲CNF後： A ∧ C ∧ (¬A v ¬B) ∧ (¬A v C) ∧ (A v B) ∧ (B v ¬D)
所以，現在我已經轉換爲CNF但是從那裏，我不知道該怎麼再往前走。將不勝感激任何幫助。謝謝！
一個給定的例子，有兩個問題，兩個想法： ∃t ∀s learn(s, t, a) and not distracted(s) => passExam(s, a)
1）什麼是指在自然語言？ 有一個在（OPIC）中，當作爲（tudent）得知在（rtificial情報）是t（OPIC）並且不分神，這個S（tudent）通過考試在（ⅰ） 2）它的CNF是什麼？ not learn(G(x), F(x