Logic                  package:base                  R Documentation

_L_o_g_i_c_a_l _O_p_e_r_a_t_o_r_s

_D_e_s_c_r_i_p_t_i_o_n:

     These operators act on logical vectors.

_U_s_a_g_e:

     ! x
     x & y
     x && y
     x | y
     x || y
     xor(x, y)

     isTRUE(x)

_A_r_g_u_m_e_n_t_s:

    x, y: logical vectors, or objects which can be coerced to such or
          for which methods have been written.

_D_e_t_a_i_l_s:

     '!' indicates logical negation (NOT).

     '&' and '&&' indicate logical AND and '|' and '||' indicate
     logical OR.  The shorter form performs elementwise comparisons in
     much the same way as arithmetic operators.  The longer form
     evaluates left to right examining only the first element of each
     vector.  Evaluation proceeds only until the result is determined. 
     The longer form is appropriate for programming control-flow and
     typically preferred in 'if' clauses.

     'xor' indicates elementwise exclusive OR.

     'isTRUE(x)' is an abbreviation of 'identical(TRUE, x)', and so is
     true if and only if 'x' is a length-one logical vector with no
     attributes (not even names).

     Numeric and complex vectors will be coerced to logical values,
     with zero being false and all non-zero values being true.  Raw
     vectors are handled without any coercion for '!', '&' and '|',
     with these operators being applied bitwise (so '!' is the
     1-complement).

     The operators '!', '&' and '|' are generic functions: methods can
     be written for them individually or via the 'Ops' (or S4 'Logic',
     see below) group generic function.  (See 'Ops' for how dispatch is
     computed.)

     'NA' is a valid logical object.  Where a component of 'x' or 'y'
     is 'NA', the result will be 'NA' if the outcome is ambiguous.  In
     other words 'NA & TRUE' evaluates to 'NA', but 'NA & FALSE'
     evaluates to 'FALSE'.  See the examples below.

     See Syntax for the precedence of these operators: unlike many
     other languages (including S) the AND and OR operators do not have
     the same precedence (the AND operators are higher than the OR
     operators).

_V_a_l_u_e:

     For '!', a logical or raw vector of the same length as 'x'.

     For '|', '&' and 'xor' a logical or raw vector. The elements of
     shorter vectors are recycled as necessary (with a 'warning' when
     they are recycled only _fractionally_). The rules for determining
     the attributes of the result are rather complicated.  Most
     attributes are taken from the longer argument, the first if they
     are of the same length.  Names will be copied from the first if it
     is the same length as the answer, otherwise from the second if
     that is.  For time series, these operations are allowed only if
     the series are compatible, when the class and 'tsp' attribute of
     whichever is a time series (the same, if both are) are used.  For
     arrays (and an array result) the dimensions and dimnames are taken
     from first argument if it is an array, otherwise the second.

     For '||', '&&' and 'isTRUE', a length-one logical vector.

_S_4 _m_e_t_h_o_d_s:

     '!', '&' and '|' are S4 generics, the latter two part of the
     'Logic' group generic (and hence methods need argument names 'e1,
     e2').

     Prior to R 2.6.0 S4 methods for '!' needed argument name 'e1', but
     now 'x' is correct.

_R_e_f_e_r_e_n_c_e_s:

     Becker, R. A., Chambers, J. M. and Wilks, A. R. (1988) _The New S
     Language_. Wadsworth & Brooks/Cole.

_S_e_e _A_l_s_o:

     'TRUE' or 'logical'.

     'any' and 'all' for OR and AND on many scalar arguments.

     'Syntax' for operator precedence.

_E_x_a_m_p_l_e_s:

     y <- 1 + (x <- stats::rpois(50, lambda=1.5) / 4 - 1)
     x[(x > 0) & (x < 1)]    # all x values between 0 and 1
     if (any(x == 0) || any(y == 0)) "zero encountered"

     ## construct truth tables :

     x <- c(NA, FALSE, TRUE)
     names(x) <- as.character(x)
     outer(x, x, "&")## AND table
     outer(x, x, "|")## OR  table

