\documentclass[11pt]{article}

\usepackage[pdftex]{graphicx}
\DeclareGraphicsExtensions{.pdf,.jpeg,.png}
\usepackage{ifpdf}
\usepackage[cmex10]{amsmath}
\usepackage{subfigure}

        \linespread{1.25}
        \oddsidemargin=.2in
        \evensidemargin=.2in
        \textwidth=6.3 in %5.9in
        \topmargin=-.5in
        \textheight=9in

\date{\today}

%\renewcommand{\labelitemi}{$\blacksquare$}
%\renewcommand{\labelitemii}{$\blacktriangleright$}
%\renewcommand{\labelitemiii}{$\bullet$}
%\renewcommand{\labelitemiv}{$\circ$}



\begin{document}

\begin{center}
         \Huge {\bf 5358 HW \#3} \\
         \Large [Your Name] \\
        \small Spring Semester, 2014
 \end{center}



    \begin{enumerate}
        \item Prove the {\em law of importation} for Boolean (crisp) logic.
            $$ \left( \left( \bigcap_i A_i \right) \rightarrow C \right)\equiv \left( \bigcup_i \left(A_i \rightarrow C \right) \right) $$
            
        \item \label{Prob2}
        Consider the following fuzzy rule as a component to disjunctive Combs control:
            \begin{eqnarray}
                n & \rightarrow & z \nonumber \\
                z & \rightarrow & p \nonumber \\
                p & \rightarrow & n \nonumber
            \end{eqnarray}
        where $n=$ negative, $z=$ (near) zero and $p=$ positive. Both the antecedent and the consequent have the same membership functions as shown in Figure~\ref{Fuzzy3Fig.pdf}.
                        \begin{figure}[h]
                        \begin{center}
                        \includegraphics[width=3in]{Fuzzy3Fig.pdf}
                        \end{center}
                        \caption{Figure for Problem~\ref{Prob2}.}
                        \label{Fuzzy3Fig.pdf}
                        \end{figure}
            \begin{itemize}
                \item For the antecedent, $a=2$ and the memberships are a function of $x$.
                \item For the consequent, $a=1$ and the memberships are a function of $y$.
            \end{itemize}
        Evaluate the corresponding actuator function, $y=f(x)$, when
            \begin{enumerate}
                \item Defuzzification using the center of mass of the weighted sum of the consequent membership functions.
                \item Defuzzification using the mode of the weighted sum of the consequent membership functions.
                \item Defuzzification using clipping of the consequent membership functions.
                \item Any comments or conclusions from your result?
            \end{enumerate}
            
    \item \label{Prob2}
        Consider the Mamdani fuzzy rule table in Table~\ref{Fuzzy3Tab}.
            \begin{table}[h]
            \begin{center}
            \begin{tabular}{|l|ccc|}
                                                                              \hline
            $y \downarrow \; x \rightarrow$         &   $n$    &  $z$   &  $p$  \\ \hline
            $n$                                     &   $p$    &  $p$   &  $z$   \\  
            $z$                                     &   $p$    &  $z$   &  $n$   \\  
            $p$                                     &   $z$    &  $n$   &  $n$   \\ \hline 
            \end{tabular}
            \end{center}
            \caption{Table for Problem~\ref{Prob2}.}
            \label{Fuzzy3Tab}
            \end{table}
        The fuzzy membership functions in Figure~\ref{Fuzzy3Fig.pdf} apply for the antecedents $x$ and $y$ and the consequent $z$. Let $a=1$. Plot the two dimensional control surface, $z=f(x,y)$, when defuzzification uses
              \begin{enumerate}
                \item $\cdots$ the center of mass of the weighted sum of the consequent membership functions.
                \item $\cdots$ the mode of the weighted sum of the consequent membership functions.
                \item $\cdots$ clipping of the consequent membership functions.
                \item Any comments or conclusions from your result?
            \end{enumerate}  
            
 \end{enumerate}

\end{document}
