generated at
candidate key
Prime implicant is the corresponding notion of a candidate key in boolean logic

wikipedia candidate key
kotobank candidate key