code: def _eval_propagate_not(self):
      # !(a|b|c ...) == !a & !b & !c ...
      return And(*[Not(a) for a in self.args])
  
imports: from __future__ import annotations
  from typing import Optional
label_desc: Use image node_id 1 for calling the Or obj's underlying member method code with example usage: obj._eval_propagate_not() and returns: And