A344339 - OEIS

A344339

a(n) is the minimal number of terms of A332520 that need to be combined with the bitwise OR operator in order to give n.

0, 1, 1, 1, 1, 1, 2, 2, 1, 2, 1, 2, 1, 2, 2, 1, 1, 1, 2, 2, 2, 2, 3, 3, 2, 2, 2, 2, 2, 2, 3, 2, 1, 2, 1, 2, 2, 2, 2, 2, 2, 3, 2, 3, 2, 3, 2, 2, 1, 2, 2, 1, 2, 2, 3, 2, 2, 3, 2, 2, 2, 3, 3, 2, 1, 2, 2, 2, 1, 2, 2, 2, 2, 3, 2, 3, 2, 3, 2, 2, 1, 2, 2, 2, 2, 1, 3

(list; graph; refs; listen; history; text; internal format)

OFFSET

0,7

COMMENTS

This sequence is related to Karnaugh maps:

- for any number n with up to 2^k binary digits (possibly with leading zeros),

- we can interpret the binary expansion of n as a truth table for a k-ary Boolean function f,

- a(n) gives the optimal number of products in a disjunctive normal form for f.

LINKS

Table of n, a(n) for n=0..86.

Rémy Sigrist, PARI program for A344339

Wikipedia, Disjunctive normal form