BooleanConsecutiveFunction

BooleanConsecutiveFunction[k,n]
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 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^(th) level of the variable array as cyclic if is True.

BooleanConsecutiveFunction[spec,{a1,a2,}]
gives the Boolean expression in variables corresponding to the Boolean consecutive function specified by spec.

BooleanConsecutiveFunction[spec,{a1,a2,},form]
gives the Boolean expression in the form specified by form.

DetailsDetails

Introduced in 2012
(9.0)