"Definable Sets" edits #32

Merged
Mark merged 1 commits from ds into main 2026-03-30 19:21:28 -07:00
2 changed files with 3 additions and 2 deletions

View File

@@ -2,7 +2,8 @@
% use [solutions] flag to show solutions. % use [solutions] flag to show solutions.
\documentclass[ \documentclass[
solutions, solutions,
singlenumbering singlenumbering,
shortwarning
]{../../../lib/tex/handout} ]{../../../lib/tex/handout}
\usepackage{../../../lib/tex/macros} \usepackage{../../../lib/tex/macros}

View File

@@ -158,7 +158,7 @@ the same $A$ and $B$. \par
\vfill \vfill
\problem{} \problem{}
Write an expression equivalent to $A \lor B$ using only $\lnot$, $\rightarrow$, and $()$? Write an expression equivalent to $A \lor B$ using only $\lnot$, $\rightarrow$, and $()$.
\begin{solution} \begin{solution}
$((\lnot A) \rightarrow B)$ $((\lnot A) \rightarrow B)$