TExpr that will be true only if the first of its two contained expressions is true and the second is false.