02.3 Truth Tables

Logical operators can be defined in the form of a truth table:

$$\boxed{\begin{array}{ccccc}{x}_1& x_2& x_1\cdot x_2& x_1+x_2& \bar{x}\\ 0& 0& 0& 0& 1\\ 0& 1& 0& 1& 1\\ 1& 0& 0& 1& 0\\ 1& 1& 1& 1& 0\end{array}}$$

Precedence of operations

We process operations in a fixed order

1. Parantheses
2. Complements
3. Product (AND)
4. Sum (OR)

02.4 Logic Gates