CVXR (version 1.9.1)

iff: Logical Biconditional

Description

Logical biconditional: x <=> y. Returns 1 if and only if x and y have the same value. Equivalent to Not(Xor(x, y)).

Usage

iff(x, y)

Value

A Not expression wrapping Xor.

Arguments

x, y

Boolean Variables or logic expressions.

See Also

implies(), Not(), And(), Or(), Xor()

Examples

if (FALSE) {
x <- Variable(boolean = TRUE)
y <- Variable(boolean = TRUE)
expr <- iff(x, y)
}