Boolean function
Another notation for writing this Boolean function is formula_8.