60 lines
1.6 KiB
TeX
60 lines
1.6 KiB
TeX
\documentclass[a4paper,10pt]{article}
|
|
%\documentclass[a4paper,10pt]{scrartcl}
|
|
|
|
\usepackage{mathtools}
|
|
|
|
\usepackage{listings}
|
|
\usepackage{color}
|
|
\usepackage[utf8]{inputenc}
|
|
\definecolor{dkgreen}{rgb}{0,0.6,0}
|
|
\definecolor{gray}{rgb}{0.5,0.5,0.5}
|
|
\definecolor{mauve}{rgb}{0.58,0,0.82}
|
|
\lstset{frame=tb,
|
|
language=caml,
|
|
aboveskip=3mm,
|
|
belowskip=3mm,
|
|
showstringspaces=false,
|
|
columns=flexible,
|
|
basicstyle={\small\ttfamily},
|
|
numbers=none,
|
|
numberstyle=\tiny\color{gray},
|
|
keywordstyle=\color{blue},
|
|
commentstyle=\color{dkgreen},
|
|
stringstyle=\color{mauve},
|
|
breaklines=true,
|
|
breakatwhitespace=true,
|
|
tabsize=3
|
|
}
|
|
\renewcommand{\thesection}{\Roman{section}}
|
|
\newcommand{\sectioni}[2]{\setcounter{section}{#1}\addtocounter{section}{-1}\section{#2}}
|
|
\newcommand{\subsectioni}[2]{\setcounter{subsection}{#1}\addtocounter{subsection}{-1}\subsection{#2}}
|
|
\title{Questions du TP2}
|
|
\author{}
|
|
\date{}
|
|
|
|
\pdfinfo{%
|
|
/Title ()
|
|
/Author ()
|
|
/Creator ()
|
|
/Producer ()
|
|
/Subject ()
|
|
/Keywords ()
|
|
}
|
|
|
|
\begin{document}
|
|
\maketitle
|
|
\sectioni{3}{Forme normale disjonctive}
|
|
\subsectioni{1}{Question :}
|
|
On se sert du code écrit aux questions précédentes,
|
|
\begin{lstlisting}
|
|
# table_de_verite 3 g;;
|
|
- : bool array = [|true; false; true; false; true; false; false; true|]
|
|
\end{lstlisting}
|
|
$\mathcal{G} =
|
|
(\neg V_2 \wedge \neg V_1 \wedge \neg V_0) \vee
|
|
(\neg V_2 \wedge V_1 \wedge \neg V_0) \vee
|
|
(V_2 \wedge \neg V_1 \wedge \neg V_0) \vee
|
|
(V_2 \wedge V_1 \wedge V_0)
|
|
$
|
|
\end{document}
|