Update logic-functions.tex