Python Literal примеры использования

Пример #1

 def basic(self):
     return pbool.OrFormula(
         pbool.AndFormula(pbool.Literal("a"), pbool.Literal("b")),
         pbool.AndFormula(pbool.Literal("c"), pbool.Literal("d")))

Пример #2

 def bare_disj(self):
     return pbool.OrFormula(
         pbool.Literal("A"),
         pbool.OrFormula(
             pbool.Literal("B"),
             pbool.OrFormula(pbool.Literal("C"), pbool.Literal("D"))))