Problem 1484. Conjunctive Normal Form

Created by G K

Solve Later

{"relationships":[{"relationshipType":"http://schemas.mathworks.com/matlab/code/2013/relationships/document","targetMode":"","relationshipId":"rId1","target":"/matlab/document.xml"},{"relationshipType":"http://schemas.mathworks.com/matlab/code/2013/relationships/output","targetMode":"","relationshipId":"rId2","target":"/matlab/output.xml"}],"parts":[{"partUri":"/matlab/document.xml","relationship":[],"contentType":"application/vnd.mathworks.matlab.code.document+xml","content":"<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n<w:document xmlns:w=\"http://schemas.openxmlformats.org/wordprocessingml/2006/main\"><w:body><w:p><w:pPr><w:pStyle w:val=\"text\"/></w:pPr><w:r><w:t>In Boolean logic, a formula is in conjunctive normal form (CNF) or clausal normal form if it is a conjunction of clauses, where a clause is a disjunction of literals.</w:t></w:r><w:r><w:t> </w:t></w:r><w:hyperlink w:docLocation=\"http://en.wikipedia.org/wiki/Conjunctive_normal_form\"><w:r><w:t>http://en.wikipedia.org/wiki/Conjunctive_normal_form</w:t></w:r></w:hyperlink></w:p><w:p><w:pPr><w:pStyle w:val=\"text\"/></w:pPr><w:r><w:t>You are given a cell array list of literals present in each clause, whose literal-names are indicated by numbers. The index is -ve if it is to be negated. You are also given the truth value of these variables as a row vector.</w:t></w:r></w:p><w:p><w:pPr><w:pStyle w:val=\"text\"/></w:pPr><w:r><w:t>Output the truth value of the proposition.</w:t></w:r></w:p><w:p><w:pPr><w:pStyle w:val=\"text\"/></w:pPr><w:r><w:t>Ex (A | B) &amp; (~B | C | ~D ) &amp; (D | ~E) is true for A=C=D=true, B=E=false is represented as { [1 2] [-2 3 -4] [4 -5]} , [1 0 1 1 0] and this evaluates to true</w:t></w:r></w:p><w:p><w:pPr><w:pStyle w:val=\"text\"/></w:pPr><w:r><w:t>The CNF conjuncts are not restricted to 3 variables (3CNF).</w:t></w:r></w:p><w:p><w:pPr><w:pStyle w:val=\"text\"/></w:pPr><w:r><w:t>Problem 8) Prev:</w:t></w:r><w:r><w:t> </w:t></w:r><w:hyperlink w:docLocation=\"http://www.mathworks.com/matlabcentral/cody/problems/1483\"><w:r><w:t>1483</w:t></w:r></w:hyperlink><w:r><w:t> Next:</w:t></w:r><w:r><w:t> </w:t></w:r><w:hyperlink w:docLocation=\"http://www.mathworks.com/matlabcentral/cody/problems/1485\"><w:r><w:t>1485</w:t></w:r></w:hyperlink></w:p></w:body></w:document>"},{"partUri":"/matlab/output.xml","contentType":"text/xml","content":"<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\" ?><embeddedOutputs><metaData><evaluationState>manual</evaluationState><layoutState>code</layoutState><outputStatus>ready</outputStatus></metaData><outputArray type=\"array\"/><regionArray type=\"array\"/></embeddedOutputs>"}]}

In Boolean logic, a formula is in conjunctive normal form (CNF) or clausal normal form if it is a conjunction of clauses, where a clause is a disjunction of literals. <a href = "http://en.wikipedia.org/wiki/Conjunctive_normal_form">http://en.wikipedia.org/wiki/Conjunctive_normal_form</a>You are given a cell array list of literals present in each clause, whose literal-names are indicated by numbers. The index is -ve if it is to be negated. You are also given the truth value of these variables as a row vector.Output the truth value of the proposition.Ex 
 (A | B) & (~B | C | ~D ) & (D | ~E) is true for A=C=D=true, B=E=false
 is represented as 
 { [1 2] [-2 3 -4] [4 -5]} , [1 0 1 1 0] 
 and this evaluates to trueThe CNF conjuncts are not restricted to 3 variables (3CNF).Problem 8)
Prev: <a href = "http://www.mathworks.com/matlabcentral/cody/problems/1483">1483</a>
Next: <a href = "http://www.mathworks.com/matlabcentral/cody/problems/1485">1485</a>

Solve

Solution Stats

27 Solutions
16 Solvers

Last Solution submitted on Oct 29, 2022

Last 200 Solutions

Problem Comments

Solution Comments

Show comments

Problem Recent Solvers16

Problem Tags

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Problem 1484. Conjunctive Normal Form

Solution Stats

Last 200 Solutions

Problem Comments

Solution Comments

Problem Recent Solvers16

Suggested Problems

More from this Author10

Problem Tags

Community Treasure Hunt

Problem 1484. Conjunctive Normal Form

Solution Stats

Last 200 Solutions

Problem Comments

Solution Comments

Problem Recent Solvers16

Suggested Problems

More from this Author10

Problem Tags

Community Treasure Hunt

Players