tags:

views:

1070

answers:

2
+1  Q: 

Convert to CNF

how can i convert this equation to CNF can any one explain it please ?

┐[(p∨┐Q) ⊃R) ⊃(P∧R)]
+1  A: 

Might I suggest this? There is an algorithm for conversion on the page.

Conjunctive Normal Form

Jordan L. Walbesser  2009-03-17 17:38:18
A: 
vartec  2009-03-17 17:39:22

related questions

Which language should I use?
What are some practical applications for a single layer perceptron?
What are some good resources for programming Artificial Intelligence?
What are known uses of AI in web development?
How can I check if one game object can see another?
Machine Learning, AI, and Soft Computing
What's a good project for an introduction to A.I.?
Evolutionary Algorithms: Optimal Repopulation Breakdowns
Why is Lisp used for AI?
Any business examples of using Markov chains?
How to create a new type of entity in Microsoft Robotics Studio 2.0?
Neural Network example in .NET
How do you solve the 15-puzzle with A-Star or Dijkstra's Algorithm?
How do I implement an A* pathfinding algorithm, with movement costs for every programming language?
What is a good programming language for AI?
What are some games with fairly simple heuristics to evaluate positions?
How to program simple chat bot AI?
Rss feed for game programmer?
Simple AI Programming
How to traverse a maze programatically when you've hit a dead end.
Incomplete information card game
Best programming based games
Recommendations needed for good AI references
Locating Text within image
Bayesian filtering for spam