You only need to consider Boole’s arithmetics a bit:
negation(negation(A)) = A
negation(negation((tv1 is 50) AND (tv2 is 61))) = negation((tv1 is not 50) OR (tv2 is not 61)) = negation(tv1,50,1|tv2,61,1)
"tv1,50,1|tv2,61,1" is your seeking formula because it is just negation what Ditto’s filter actually does -- it throws out (instead of returning) elements that meet described criteria thus leaving you with those remaining. (q.e.d.)
In other words, to _obtain_ subset of elements that meets criterion1 AND criterion2 AND ... you need to _throw out_ subset that meets not(criterion1) OR not(criterion2) OR ... -> subset + negation(subset) = full set