Class LogicTransformer.NotOrTransformation

  • Enclosing class:
    LogicTransformer

    public static class LogicTransformer.NotOrTransformation
    extends Object
    (Not (OR (A B) )
     Not
     |
     or
     / \
     a b
     
    (And ( Not (a) Not (b)) )
     And
     / \
     Not Not
     | |
     a b