\documentclass[10pt]{article}

\usepackage[margin=0.7in,top=0.5in]{geometry}
\usepackage[small]{titlesec}
\usepackage{palatino, mathpazo}
\usepackage{inconsolata}
\usepackage{amsmath, amssymb}
\usepackage{enumerate}

\newcommand{\ds}{\displaystyle}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\E}{\mathbb{E}}
\newcommand{\Var}{\operatorname{Var}}
\renewcommand{\P}{\mathbb{P}}

\newpagestyle{main}[\small]{
	\headrule
	\sethead[\usepage][][]
	{}{}{\usepage}
}

\setlength{\parindent}{0pt}
\setlength{\parskip}{1.5ex}

\title{\sc Math 2100 / 2105 / 2350 -- Homework 4}
\author{due Thursday, September 27, at the beginning of class}
\date{}
\begin{document}
\maketitle

\pagestyle{main}

\begin{center} 
	\emph{This homework assignment was written in \LaTeX{}. You can find the source code on the course website.}
\end{center}

\textbf{Instructions:} This assignment is due at the \emph{beginning} of class. \textbf{Staple your work} together (do not just fold over the corner). Please write the questions in the correct order. If I cannot read your handwriting, you won't receive credit. Explain all reasoning.

\textbf{Mathematical Writing:} An important component of this course is learning how to write mathematics correctly and concisely. Your goal should always be the convince the reader that you are correct! That means explaining your thinking and each step in your solution. We will talk more about this when we cover formal proofs in a few weeks, but for now I expect you to do the following: explain your reasoning, don't leave out steps, and use full sentences with correct spelling and grammar (including your use of math symbols). For example, don't write ``$3 \in S \Longrightarrow 3 \not\in \overline{S}$''; instead, write ``Since $3 \in S$, it follows that $3 \not\in \overline{S}$''.

\begin{enumerate}
	\item Use a truth table to determine whether $\neg p \vee (q \wedge \neg q) \equiv \neg p$.

	\item You come across three inhabitants of an island, $A$, $B$, and $C$. $A$ says ``I am lying and $C$ is lying,", $B$ says "Exactly one of us is lying", and $C$ says "$B$ is telling the truth." What are the possible combinations of whether each person is lying or telling the truth? (There could be none, one, or more than one.)
	
	\item You come across three inhabitants of an island, $Q$, $R$, and $S$. $Q$ says ``The number of us that are lying is odd", $R$ says "The number of us that are lying is even", and $S$ says "The number of us that are lying is positive." What are the possible combinations of whether each person is lying or telling the truth? (There could be none, one, or more than one.)
	
	\item This is a different type of island-logic-question. You might need another method to answer it. Every inhabitant of an island either always tells the truth or always lies. Each of them knows what type of inhabitant they all are, but you as an outsider do not. You come to a fork in the road and you see two inhabitant there, Alice and Bob. You want to figure out how to get to the airport. The following exchange occurs.\\[10pt]
	\textbf{You:} I would like to go the airport.\\[10pt]
	\textbf{Alice:} The airport is in the mountains \underline{or} the road to the right goes to the airport.\\[10pt]
	\textbf{Bob:} The airport is in the mountains \underline{and} the road to the right goes to the airport.\\[10pt]
	\textbf{Alice:} Bob is liar.\\[10pt]
	\textbf{Bob:} The road to the right goes to the airport \underline{or} the airport is not in the mountains.\\[10pt]
	
	Which way is the airport?
	
	
\end{enumerate}
\end{document}




¡