[ "or", [ "not" , "B" ] , [ "not", [ "and", "C", "D"] ] ]