1.4 KiB
1.4 KiB
| categories | tags | ||
|---|---|---|---|
|
|
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):
- The first disjunction :
\lnot(x) \land zis false becausexis 1 andzis 1 - The second disjunction:
x \land yis true becausexis 1 andyis 1 - The overall function returns true because the main connective is disjunction and one of the disjuncts (the second) evaluates to 1. Thus the output is 1.
We can compute all possible outputs of the function by constructing a truth-table with each possible variable as the truth conditions and the output of the function as the truth value:
x |
y |
z |
f(x,y,z) = (x \land y) \lor (\lnot(x) \land z ) |
|---|---|---|---|
| 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 |
| 1 | 0 | 1 | 0 |
| 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 1 |