# 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.

# Examples

open allclose all

## Basic Examples(3)

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

 In[1]:=
 Out[1]=

Convert to explicit form:

 In[2]:=
 Out[2]=
 In[1]:=
 In[2]:=

Compute the survival function:

 In[3]:=
 Out[3]=
 In[1]:=
 In[2]:=

Compute the survival function:

 In[3]:=
 Out[3]=