Skip to contents

Logical Implication

Source: R/077_atoms_elementwise_logic.R
implies.Rd

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

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