\documentclass[a4paper]{report}
\input{../../preamble.tex}
\title{Solutions 4}

\begin{document}
	\maketitle
	\paragraph{2.2.39}
	If a security code is not entered, then this door will not open.
	\paragraph{2.2.40}
	If I catch the bus at 8:05, then I will be on time for work.
	\paragraph{2.2.45}
	If the computer program is correct, then it did not produce error messages during translation.
	\paragraph{2.2.49}
	\[
		\lnot(\lnot(p\land \lnot r)\land(q\land\lnot r)) \land (\lnot((q\land \lnot r)\land (p\land \lnot r)))
	.\]
	\paragraph{2.3.40}
	Muscles killed Sharky.
	\paragraph{2.3.43}
	e,d,c,a,b,f.
\end{document}
