Lines Matching refs:neg
61 auto NotX = Ctx.neg(X); in TEST()
72 auto NotX = Ctx.neg(X); in TEST()
82 auto NotY = Ctx.neg(Y); in TEST()
94 auto NotX = Ctx.neg(X); in TEST()
95 auto NotNotX = Ctx.neg(NotX); in TEST()
106 auto NotXOrY = Ctx.neg(XOrY); in TEST()
117 auto NotXAndY = Ctx.neg(XAndY); in TEST()
126 auto NotX = Ctx.neg(X); in TEST()
145 auto NotX = Ctx.neg(X); in TEST()
165 auto NotX = Ctx.neg(X); in TEST()
167 auto NotY = Ctx.neg(Y); in TEST()
182 auto NotX = Ctx.neg(X); in TEST()
184 auto NotY = Ctx.neg(Y); in TEST()
199 auto NotX = Ctx.neg(X); in TEST()
201 auto NotY = Ctx.neg(Y); in TEST()
213 auto NotX = Ctx.neg(X); in TEST()
214 auto NotY = Ctx.neg(Y); in TEST()
217 auto NotEquivalent = Ctx.neg(Ctx.iff(XIffY, XIffYDNF)); in TEST()
267 auto NotY = Ctx.neg(Y); in TEST()
280 auto NotX = Ctx.neg(X); in TEST()
294 auto A = Ctx.iff(Ctx.neg(Ctx.disj(X, Y)), Ctx.conj(Ctx.neg(X), Ctx.neg(Y))); in TEST()
297 auto B = Ctx.iff(Ctx.neg(Ctx.conj(Z, W)), Ctx.disj(Ctx.neg(Z), Ctx.neg(W))); in TEST()
308 auto NotY = Ctx.neg(Y); in TEST()
319 auto XImpliesYDNF = Ctx.disj(Ctx.neg(X), Y); in TEST()
320 auto NotEquivalent = Ctx.neg(Ctx.iff(XImpliesY, XImpliesYDNF)); in TEST()
331 auto *XAndNotY = Ctx.conj(X, Ctx.neg(Y)); in TEST()