Sequence NonExAloe

Studies of Boolean functions
sequences related to Boolean functions
valency
gravity
strength
depth
triangle Willow ExOlive
diagonal Lotus ExAloe
difference NonLotus NonExAloe

Sequences NonExAloe(Drop)

These are the row sums of TurnedExOlive(Drop) without column 0.

01234567
🌊 NonExAloe 02872307219662082704999946242342736474457787596800
💧 NonExAloeDrop 02664300019631362704980284162342736474187287602176
a ↦ not strong NonExAloe(a) is the number of BF with arity a that are not strong.
a ↦ positive depth
NonExAloe(a)
NonExAloeDrop(a)
is the number of BF with arity
adicity
a and soft depth > 0.

Sequences SmallNonExAloe(Drop)

These are the row sums of SmallTurnedExOlive(Drop) without column 0.

01234567
🌊 SmallNonExAloe (A218384) 01771307119662072704999946232342736474457787596799
💧 SmallNonExAloeDrop 01664300019631362704980284162342736474187287602176
a ↦ positive depth SmallNonExAloe(a)
SmallNonExAloeDrop(a)
is the number of BF with arity
adicity
a and depth > 0.