implies: Logical Implication

In CVXR: Disciplined Convex Optimization

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)

Arguments

x, y	Boolean Variables or logic expressions.

Value

An Or expression representing !x | y.

See Also

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

Examples

## Not run: 
x <- Variable(boolean = TRUE)
y <- Variable(boolean = TRUE)
expr <- implies(x, y)

## End(Not run)

CVXR documentation built on March 6, 2026, 9:10 a.m.