Searched defs:NotEquivalent (Results 1 – 1 of 1) sorted by relevance
217 auto NotEquivalent = Ctx.neg(Ctx.iff(XIffY, XIffYDNF)); in TEST() local320 auto NotEquivalent = Ctx.neg(Ctx.iff(XImpliesY, XImpliesYDNF)); in TEST() local