The New item (menu File) creates a null function (without terms) in disjunctive normal form.