(self, formula, args, **kwargs)
return self.mgr.Not(self.mgr.And(self.mgr.Not(s) for s in args))
a1 | ... | an = !( !a1 & ... & !an)
a1 | ... | an = !( !a1 & ... & !an)
a1 | ... | an = ! ( !a1 & ... & !an )
def walk_or(self, formula, args, **kwargs):
        """ a1 | ... | an = !( !a1 & ... & !an) """
        return self.mgr.Not(self.mgr.And(self.mgr.Not(s) for s in args))
def walk_or ( self , formula , args , * * kwargs ) : return self . mgr . Not ( self . mgr . And ( self . mgr . Not ( s ) for s in args ) )