Update logic-functions.tex
Merge pull request #10 from murfel/patch-2

Update logic-functions.tex