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 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^(th) 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 allclose all

Basic Examples  (3)

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

In[1]:=
Click for copyable input
Out[1]=

Convert to explicit form:

In[2]:=
Click for copyable input
Out[2]=

Use BooleanConsecutiveFunction in ReliabilityDistribution:

In[1]:=
Click for copyable input
In[2]:=
Click for copyable input

Compute the survival function:

In[3]:=
Click for copyable input
Out[3]=

Use BooleanConsecutiveFunction in FailureDistribution:

In[1]:=
Click for copyable input
In[2]:=
Click for copyable input

Compute the survival function:

In[3]:=
Click for copyable input
Out[3]=

Scope  (10)

Applications  (2)

Properties & Relations  (2)

Neat Examples  (1)

See Also

BooleanCountingFunction  BooleanConvert  ReliabilityDistribution  FailureDistribution  UnateQ

Introduced in 2012
(9.0)