Completed checkpoint 13 Boolean functions