diff --git a/Logic/Boolean_functions.md b/Logic/Boolean_functions.md new file mode 100644 index 0000000..7cae04c --- /dev/null +++ b/Logic/Boolean_functions.md @@ -0,0 +1,17 @@ +--- +categories: + - Mathematics +tags: [logic] +--- + +# Boolean functions + +An example of a Boolean function: + +$$ +f(x,y,z) = (x \land y) \lor (\lnot(x) \land z ) +$$ + +Here is a work through where $f(1, 0, 1)$: + +// Insert diagram