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