CVXR (version 1.9.1)

implies: Logical Implication

Description

Logical implication: x => y. Returns 1 unless x = 1 and y = 0. Equivalent to Or(Not(x), y).

Usage

implies(x, y)

Value

An Or expression representing !x | y.

Arguments

x, y

Boolean Variables or logic expressions.

See Also

iff(), Not(), And(), Or(), Xor()

Examples

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