\documentclass[10pt,a4paper]{article} % Packages \usepackage{fancyhdr} % For header and footer \usepackage{multicol} % Allows multicols in tables \usepackage{tabularx} % Intelligent column widths \usepackage{tabulary} % Used in header and footer \usepackage{hhline} % Border under tables \usepackage{graphicx} % For images \usepackage{xcolor} % For hex colours %\usepackage[utf8x]{inputenc} % For unicode character support \usepackage[T1]{fontenc} % Without this we get weird character replacements \usepackage{colortbl} % For coloured tables \usepackage{setspace} % For line height \usepackage{lastpage} % Needed for total page number \usepackage{seqsplit} % Splits long words. %\usepackage{opensans} % Can't make this work so far. Shame. Would be lovely. \usepackage[normalem]{ulem} % For underlining links % Most of the following are not required for the majority % of cheat sheets but are needed for some symbol support. \usepackage{amsmath} % Symbols \usepackage{MnSymbol} % Symbols \usepackage{wasysym} % Symbols %\usepackage[english,german,french,spanish,italian]{babel} % Languages % Document Info \author{mlopezb} \pdfinfo{ /Title (logica.pdf) /Creator (Cheatography) /Author (mlopezb) /Subject (Logica Cheat Sheet) } % Lengths and widths \addtolength{\textwidth}{6cm} \addtolength{\textheight}{-1cm} \addtolength{\hoffset}{-3cm} \addtolength{\voffset}{-2cm} \setlength{\tabcolsep}{0.2cm} % Space between columns \setlength{\headsep}{-12pt} % Reduce space between header and content \setlength{\headheight}{85pt} % If less, LaTeX automatically increases it \renewcommand{\footrulewidth}{0pt} % Remove footer line \renewcommand{\headrulewidth}{0pt} % Remove header line \renewcommand{\seqinsert}{\ifmmode\allowbreak\else\-\fi} % Hyphens in seqsplit % This two commands together give roughly % the right line height in the tables \renewcommand{\arraystretch}{1.3} \onehalfspacing % Commands \newcommand{\SetRowColor}[1]{\noalign{\gdef\RowColorName{#1}}\rowcolor{\RowColorName}} % Shortcut for row colour \newcommand{\mymulticolumn}[3]{\multicolumn{#1}{>{\columncolor{\RowColorName}}#2}{#3}} % For coloured multi-cols \newcolumntype{x}[1]{>{\raggedright}p{#1}} % New column types for ragged-right paragraph columns \newcommand{\tn}{\tabularnewline} % Required as custom column type in use % Font and Colours \definecolor{HeadBackground}{HTML}{333333} \definecolor{FootBackground}{HTML}{666666} \definecolor{TextColor}{HTML}{333333} \definecolor{DarkBackground}{HTML}{A3A3A3} \definecolor{LightBackground}{HTML}{F3F3F3} \renewcommand{\familydefault}{\sfdefault} \color{TextColor} % Header and Footer \pagestyle{fancy} \fancyhead{} % Set header to blank \fancyfoot{} % Set footer to blank \fancyhead[L]{ \noindent \begin{multicols}{3} \begin{tabulary}{5.8cm}{C} \SetRowColor{DarkBackground} \vspace{-7pt} {\parbox{\dimexpr\textwidth-2\fboxsep\relax}{\noindent \hspace*{-6pt}\includegraphics[width=5.8cm]{/web/www.cheatography.com/public/images/cheatography_logo.pdf}} } \end{tabulary} \columnbreak \begin{tabulary}{11cm}{L} \vspace{-2pt}\large{\bf{\textcolor{DarkBackground}{\textrm{Logica Cheat Sheet}}}} \\ \normalsize{by \textcolor{DarkBackground}{mlopezb} via \textcolor{DarkBackground}{\uline{cheatography.com/211326/cs/45763/}}} \end{tabulary} \end{multicols}} \fancyfoot[L]{ \footnotesize \noindent \begin{multicols}{3} \begin{tabulary}{5.8cm}{LL} \SetRowColor{FootBackground} \mymulticolumn{2}{p{5.377cm}}{\bf\textcolor{white}{Cheatographer}} \\ \vspace{-2pt}mlopezb \\ \uline{cheatography.com/mlopezb} \\ \end{tabulary} \vfill \columnbreak \begin{tabulary}{5.8cm}{L} \SetRowColor{FootBackground} \mymulticolumn{1}{p{5.377cm}}{\bf\textcolor{white}{Cheat Sheet}} \\ \vspace{-2pt}Not Yet Published.\\ Updated 26th February, 2025.\\ Page {\thepage} of \pageref{LastPage}. \end{tabulary} \vfill \columnbreak \begin{tabulary}{5.8cm}{L} \SetRowColor{FootBackground} \mymulticolumn{1}{p{5.377cm}}{\bf\textcolor{white}{Sponsor}} \\ \SetRowColor{white} \vspace{-5pt} %\includegraphics[width=48px,height=48px]{dave.jpeg} Measure your website readability!\\ www.readability-score.com \end{tabulary} \end{multicols}} \begin{document} \raggedright \raggedcolumns % Set font size to small. Switch to any value % from this page to resize cheat sheet text: % www.emerson.emory.edu/services/latex/latex_169.html \footnotesize % Small font. \begin{multicols*}{2} \begin{tabularx}{8.4cm}{x{2.64 cm} x{5.36 cm} } \SetRowColor{DarkBackground} \mymulticolumn{2}{x{8.4cm}}{\bf\textcolor{white}{Equivalencias lógicas}} \tn % Row 0 \SetRowColor{LightBackground} (1) Conmutativa & F ∧ G ≡ G ∧ F \{\{nl\}\} F ∨ G ≡ G ∨ F \tn % Row Count 2 (+ 2) % Row 1 \SetRowColor{white} (2) Asociativa & (F ∧ G) ∧ H ≡ F ∧ (G ∧ H) \{\{nl\}\} (F ∨ G) ∨ H ≡ F ∨ (G ∨ H) \tn % Row Count 6 (+ 4) % Row 2 \SetRowColor{LightBackground} (3) Distributiva & F ∧ (G ∨ H) ≡ (F ∧ G) ∨ (F ∧ H) \{\{nl\}\} F ∨ (G ∧ H) ≡ (F ∨ G) ∧ (F ∨ H) \tn % Row Count 10 (+ 4) % Row 3 \SetRowColor{white} (4) E. Neutro & F ∧ {\bf{1}} ≡ F \{\{nl\}\} F ∨ {\bf{0}} ≡ F \tn % Row Count 12 (+ 2) % Row 4 \SetRowColor{LightBackground} (5) \seqsplit{Complementación} & F ∧ ¬F ≡ {\bf{0}} \{\{nl\}\} F ∨ ¬F ≡ {\bf{1}} \tn % Row Count 14 (+ 2) % Row 5 \SetRowColor{white} (6) Idempotente & F ∧ F ≡ F \{\{nl\}\} F ∨ F ≡ F \tn % Row Count 16 (+ 2) % Row 6 \SetRowColor{LightBackground} (7) \seqsplit{Simplificativa} & F ∧ ( G ∨ F ) ≡ F \{\{nl\}\} F ∨ ( G ∧ F ) ≡ F \tn % Row Count 19 (+ 3) % Row 7 \SetRowColor{white} (8) Absorción & F ∧ {\bf{0}} ≡ {\bf{0}} \{\{nl\}\} F ∨ {\bf{1}} ≡ {\bf{1}} \tn % Row Count 21 (+ 2) % Row 8 \SetRowColor{LightBackground} (9) De Morgan & ¬(F ∧ G) ≡ ¬F ∨ ¬G \{\{nl\}\} ¬(F ∨ G) ≡ ¬F ∧ ¬G \tn % Row Count 24 (+ 3) % Row 9 \SetRowColor{white} (10) Doble negación & ¬¬F ≡ F \tn % Row Count 26 (+ 2) \hhline{>{\arrayrulecolor{DarkBackground}}--} \end{tabularx} \par\addvspace{1.3em} \begin{tabularx}{8.4cm}{X} \SetRowColor{DarkBackground} \mymulticolumn{1}{x{8.4cm}}{\bf\textcolor{white}{Tablas de verdad}} \tn % Row 0 \SetRowColor{LightBackground} \mymulticolumn{1}{x{8.4cm}}{F} \tn % Row Count 1 (+ 1) % Row 1 \SetRowColor{white} \mymulticolumn{1}{x{8.4cm}}{0} \tn % Row Count 2 (+ 1) % Row 2 \SetRowColor{LightBackground} \mymulticolumn{1}{x{8.4cm}}{0} \tn % Row Count 3 (+ 1) % Row 3 \SetRowColor{white} \mymulticolumn{1}{x{8.4cm}}{1} \tn % Row Count 4 (+ 1) % Row 4 \SetRowColor{LightBackground} \mymulticolumn{1}{x{8.4cm}}{1} \tn % Row Count 5 (+ 1) \hhline{>{\arrayrulecolor{DarkBackground}}-} \end{tabularx} \par\addvspace{1.3em} \begin{tabularx}{8.4cm}{x{1.2 cm} x{6.8 cm} } \SetRowColor{DarkBackground} \mymulticolumn{2}{x{8.4cm}}{\bf\textcolor{white}{Parafraseo de conectiva}} \tn % Row 0 \SetRowColor{LightBackground} ¬p & "es falso p" \{\{nl\}\} "no es cierto p" \tn % Row Count 2 (+ 2) % Row 1 \SetRowColor{white} p ∧ q & "p y q"\{\{nl\}\} "p pero también q"\{\{nl\}\} "p sin embargo q" \{\{nl\}\}" p a pesar de q" \{\{nl\}\} "p no obstante q" \tn % Row Count 6 (+ 4) % Row 2 \SetRowColor{LightBackground} p ∨ q & "p o q,"\{\{nl\}\} "al menos p o q"\{\{nl\}\} "o p o q o ambos"\{\{nl\}\}"como mínimo p o q" \tn % Row Count 9 (+ 3) % Row 3 \SetRowColor{white} p → q & "si p entonces q," \{\{nl\}\}"p implica q"\{\{nl\}\}"si p, q"\{\{nl\}\}"p sólo si q"\{\{nl\}\} "no p a menos que q"\{\{nl\}\}"q si p"\{\{nl\}\}"q cuando p"\{\{nl\}\}"q es condición necesaria para p"\{\{nl\}\} "p es condición suficiente para q"\{\{nl\}\} "p es la hipótesis de q"\{\{nl\}\} "q es el consecuente de p" \tn % Row Count 19 (+ 10) % Row 4 \SetRowColor{LightBackground} p ↔ q & "p si y sólo si q"\{\{nl\}\}"p es necesario y suficiente para q" \tn % Row Count 22 (+ 3) \hhline{>{\arrayrulecolor{DarkBackground}}--} \end{tabularx} \par\addvspace{1.3em} \begin{tabularx}{8.4cm}{x{2.48 cm} x{5.52 cm} } \SetRowColor{DarkBackground} \mymulticolumn{2}{x{8.4cm}}{\bf\textcolor{white}{Abreviaturas}} \tn % Row 0 \SetRowColor{LightBackground} \seqsplit{Implicación} & F → G ≡ ¬F ∨ G \tn % Row Count 1 (+ 1) % Row 1 \SetRowColor{white} Doble \seqsplit{Implicación} & F ↔ G ≡ (F ∧ G) ∨ (¬F ∧ ¬G) \{\{nl\}\} F ↔ G ≡ ((F → G) ∧ (G → F )) \tn % Row Count 5 (+ 4) \hhline{>{\arrayrulecolor{DarkBackground}}--} \end{tabularx} \par\addvspace{1.3em} % That's all folks \end{multicols*} \end{document}