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