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.

	0	1	2	3	4	5	6	7
🌊 NonExAloe	0	2	8	72	3072	1966208	270499994624	2342736474457787596800
💧 NonExAloeDrop	0	2	6	64	3000	1963136	270498028416	2342736474187287602176

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.

NonExAloe is the difference of Grass and ExAloe.
NonExAloe Grass − ExAloe 0 0 2 − 2 1 2 4 − 2 2 8 16 − 8 3 72 256 − 184 4 3072 65536 − 62464 5 1966208 4294967296 − 4293001088 6 270499994624 18446744073709551616 − 18446743803209556992 7 2342736474457787596800 340282366920938463463374607431768211456 − 340282366920938461120638132973980614656

half
0 1 2 3 4 5 6 7 🌊 HalfNonExAloe 0 1 4 36 1536 983104 135249997312 1171368237228893798400 💧 HalfNonExAloeDrop 0 1 3 32 1500 981568 135249014208 1171368237093643801088

Sequences SmallNonExAloe_(Drop)

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

	0	1	2	3	4	5	6	7
🌊 SmallNonExAloe (A218384)	0	1	7	71	3071	1966207	270499994623	2342736474457787596799
💧 SmallNonExAloeDrop	0	1	6	64	3000	1963136	270498028416	2342736474187287602176

a ↦ positive depth

SmallNonExAloe(a) SmallNonExAloeDrop(a)

is the number of BF with

arity adicity

a and depth > 0.