Contents
 1 Introduction
 2 The General Model and its Operators
 3 Definitions and Logical Identities
 4 Translating Boolean Expressions
 5 Translating Mixed Expressions
  5.1 Some Examples
 6 Translation Procedure
  Step 0: Cut-off Subtrees
  Step 1: T0-Rules
  Step 2: T1-Rules
  Step 3: T2-Rules
  Step 4: Disconnect nested and-s
  Step 5: T3-Rules
  Step 6: Disconnect Sub-trees
  Step 7: T4-Rules
 7 Conclusion
 Appendix: Several Model Examples
 8 Satisfibility I (sat1)
 9 Satisfibility II (sat2)
 10 Satisfibility III (sat3)
 11 Satisfibility IV (sat4)
 12 Satisfibility V (Horn Clauses) (sat5)
 13 Chemical Synthesis (sat6)
 14 Simple expressions (logic0)
 15 Boolean Expressions (logic1)
 16 Math-Logic Expression III (logic2)
 17 Indexed Boolean Expression (logic3)
 18 Disjunctive Constraint (logic4)
 19 Two Liquid Containers Problem (logic5)
 20 Logical Conditions in an LP (logic6)
 21 Math-Logic Expression II (logic7)
 22 Transformations of logical statements (logic8)
 23 Importing Energy (import)
 24 Assembling a Radio (radio)
 25 Pigeonhole Problem (pihole)
 References