\documentclass[12pt]{article}

\usepackage[T1]{fontenc} 
\usepackage{fullpage,amsmath,amsfonts}

\begin{document}

\title{Foundations of Information Systems}
\author{Winter Semester 2024--25, Exercise 1}
\date{For discussion on Tuesday, October 22, 2024}
\maketitle

\begin{enumerate}

\item In class, we have proved a number of theorems consecutively,
each proof referring to some of the previous results.  We have also
learned that each theorem in Boolean algebra has a ``dual theorem'',
obtained by simultaneously exchanging $\wedge \leftrightarrow \vee$ and
$0 \leftrightarrow 1$.

Prove the following sequence of theorems dual to the ones proved in
class.  Here, the set of elements of the Boolean algebra is $B$ and
the statements are to be true for all $a, b \in B$.
\begin{enumerate}
\item Dual Theorem 1: $a \wedge a = a$
\item Dual Theorem 2: $a \wedge 0 = 0$
\item Dual ``Absorption Theorem'': $a \wedge (a \vee b) = a$
\item Dual ``De Morgan's Law'': $(a \vee b)' = a' \wedge b'$
\end{enumerate}
\emph{Note:} Write out the proofs from scratch without referring to
the dual symmetry principle.  If you get stuck, you can always look at
the lecture notes: each step you take should be the dual of one of the
steps taken in class.

\item Determine whether the following statements are true or false.
If true, state the name of the respective Boolean algebra axiom or
elementary theorem (a proof is not required).  If false, state a
counterexample.
\begin{enumerate}
\item $a \wedge (b \wedge c) = (a \wedge b) \wedge c$
\item $a \wedge (b \vee c) = (a \wedge b) \vee c$
\item $a \wedge (b \vee c) = (a \wedge b) \vee (a \wedge c)$
\item $a \vee (b \wedge c) = (a \vee b) \wedge (a \vee c)$
\item $(a \wedge b)' = a' \vee b'$
\end{enumerate}

\end{enumerate}
\end{document}
