##### 1

Prove the *identity* property expressed by Equation (5.1.3) and Equation (5.1.4).

\(\newcommand{\doubler}[1]{2#1}
\newcommand{\binary}{\mathtt}
\newcommand{\hex}{\mathtt}
\newcommand{\octal}{\mathtt}
\newcommand{\prog}{\mathtt}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\)

Prove the *identity* property expressed by Equation (5.1.3) and Equation (5.1.4).

For Equation (5.1.3):

\(x\) | \(x \cdot 1\) |

\(\binary{0}\) | \(\binary{0}\) |

\(\binary{1}\) | \(\binary{1}\) |

And for Equation (5.1.4):

\(x\) | \(x + 0\) |

\(\binary{0}\) | \(\binary{0}\) |

\(\binary{1}\) | \(\binary{1}\) |

Prove the *commutative* property expressed by Equation (5.1.5) and Equation (5.1.6).

For Equation (5.1.5):

\(x\) | \(y\) | \(x \cdot y\) | \(y \cdot x\) |

\(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) |

\(\binary{0}\) | \(\binary{1}\) | \(\binary{0}\) | \(\binary{0}\) |

\(\binary{1}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) |

\(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) |

And for Equation (5.1.6):

\(x\) | \(y\) | \(x + y\) | \(y + x\) |

\(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) |

\(\binary{0}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) |

\(\binary{1}\) | \(\binary{0}\) | \(\binary{1}\) | \(\binary{1}\) |

\(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) |

Prove the *annulment* property expressed by Equation (5.1.7) and Equation (5.1.8).

For Equation (5.1.7):

\(x\) | \(x \cdot 0\) |

\(\binary{0}\) | \(\binary{0}\) |

\(\binary{1}\) | \(\binary{0}\) |

And for Equation (5.1.8):

\(x\) | \(x + 1\) |

\(\binary{0}\) | \(\binary{1}\) |

\(\binary{1}\) | \(\binary{1}\) |

Prove the *complement* property expressed by Equation (5.1.9) and Equation (5.1.10).

For Equation (5.1.9):

\(x\) | \(x'\) | \(x \cdot x'\) |

\(\binary{0}\) | \(\binary{1}\) | \(\binary{0}\) |

\(\binary{1}\) | \(\binary{0}\) | \(\binary{0}\) |

And for Equation (5.1.10):

\(x\) | \(x'\) | \(x + x'\) |

\(\binary{0}\) | \(\binary{1}\) | \(\binary{1}\) |

\(\binary{1}\) | \(\binary{0}\) | \(\binary{1}\) |

Prove the *idempotent* property expressed by Equation (5.1.11) and Equation (5.1.12).

For Equation (5.1.11):

\(x\) | \(x\) | \(x \cdot x\) |

\(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) |

\(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) |

And for Equation (5.1.12):

\(x\) | \(x\) | \(x + x\) |

\(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) |

\(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) |

Prove the *distributive* property expressed by Equation (5.1.13) and Equation (5.1.14).

For Equation (5.1.13):

\(x\) | \(y\) | \(z\) | \(y + z\) | \(x \cdot (y + z)\) | \(x \cdot y\) | \(x \cdot z\) | \(x \cdot y + x \cdot z\) |

\(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) |

\(\binary{0}\) | \(\binary{0}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) |

\(\binary{0}\) | \(\binary{1}\) | \(\binary{0}\) | \(\binary{1}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) |

\(\binary{0}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) |

\(\binary{1}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) |

\(\binary{1}\) | \(\binary{0}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{0}\) | \(\binary{1}\) | \(\binary{1}\) |

\(\binary{1}\) | \(\binary{1}\) | \(\binary{0}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{0}\) | \(\binary{1}\) |

\(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) |

And for Equation (5.1.14):

\(x\) | \(y\) | \(z\) | \(y \cdot z\) | \(x + y \cdot z\) | \(x + y\) | \(x + z\) | \((x + y) \cdot (x + z)\) |

\(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) |

\(\binary{0}\) | \(\binary{0}\) | \(\binary{1}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{1}\) | \(\binary{0}\) |

\(\binary{0}\) | \(\binary{1}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{1}\) | \(\binary{0}\) | \(\binary{0}\) |

\(\binary{0}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) |

\(\binary{1}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) |

\(\binary{1}\) | \(\binary{0}\) | \(\binary{1}\) | \(\binary{0}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) |

\(\binary{1}\) | \(\binary{1}\) | \(\binary{0}\) | \(\binary{0}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) |

\(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) | \(\binary{1}\) |