The
Save as...
item (menu
File
) saves a boolean function as a text file.