# BooleanConsecutiveFunction

represents a Boolean function of n variables that gives True if k consecutive variables are True.

BooleanConsecutiveFunction[{k,True},n]

treats the variable list as cyclic.

BooleanConsecutiveFunction[{k1,k2,,kd},{n1,n2,,nd}]

represents a Boolean function of n1 n2 nd variables that gives True if all variables in a block of the variable array are True.

BooleanConsecutiveFunction[{{k1,k2,,kd},{c1,c2,,cd}},{n1,n2,,nd}]

treats the i level of the variable array as cyclic if ci is True.

BooleanConsecutiveFunction[spec,{a1,a2,}]

gives the Boolean expression in variables ai corresponding to the Boolean consecutive function specified by spec.

BooleanConsecutiveFunction[spec,{a1,a2,},form]

gives the Boolean expression in the form specified by form.

# Details # Examples

open all close all

## Basic Examples(3)

Create a consecutive-2-out-of-3 Boolean function:

 In:= Out= Convert to explicit form:

 In:= Out= In:= In:= Compute the survival function:

 In:= Out= In:= In:= Compute the survival function:

 In:= Out= ## Neat Examples(1)

Introduced in 2012
(9.0)