Alternative modeling schemes for propositional calculus problem

Abstract

The main objective of this paper is to discuss alternative approaches to convert a propositional logic problem into a 0-1 integer program. The substitution method proposed by Williams and CNF method is used for modeling and representation of logical inference problem. The similarity between the two fields viz. optimization problems or mathematical programming and deductive logic are shown.

Keywords

• CNF
• Logical inference
• Mathematical programming
• 0-1 integer programming
• Propositional logic