$\newcommand{\identity}{\mathrm{id}} \newcommand{\notdivide}{{\not{\mid}}} \newcommand{\notsubset}{\not\subset} \newcommand{\lcm}{\operatorname{lcm}} \newcommand{\gf}{\operatorname{GF}} \newcommand{\inn}{\operatorname{Inn}} \newcommand{\aut}{\operatorname{Aut}} \newcommand{\Hom}{\operatorname{Hom}} \newcommand{\cis}{\operatorname{cis}} \newcommand{\chr}{\operatorname{char}} \newcommand{\Null}{\operatorname{Null}} \renewcommand{\vec}[1]{\mathbf{#1}} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&}$

## Section3.4The Laws of Logic

### SubsectionExercises

###### 1

Description: Library/SDSU/Discrete/Logic/formallogicA18.pg

WeBWorK Exercise
###### 2

Description: Library/SDSU/Discrete/Logic/ttlogicequivA6.pg

WeBWorK Exercise
###### 3

Description: Library/SDSU/Discrete/Logic/formallogicA19.pg

WeBWorK Exercise
###### 4

Description: Library/SDSU/Discrete/Logic/formallogicB23.pg

WeBWorK Exercise
###### 5

Description: Library/SDSU/Discrete/Logic/formallogicB10.pg

WeBWorK Exercise
###### 6

Description: Library/SDSU/Discrete/Logic/formallogicB7.pg

WeBWorK Exercise
###### 7

Description: Library/SDSU/Discrete/Logic/formallogicB11.pg

WeBWorK Exercise
###### 8

Description: Library/SDSU/Discrete/Logic/ttcontratautB1.pg

WeBWorK Exercise
###### 9

Description: Library/SDSU/Discrete/Logic/ttcontratautB2.pg

WeBWorK Exercise
###### 10

Description: Library/SDSU/Discrete/Logic/ttcontratautB4.pg

WeBWorK Exercise
###### 11

Description: Library/SDSU/Discrete/Logic/formallogicB14.pg

WeBWorK Exercise
###### 12

Description: Library/SDSU/Discrete/Logic/formallogicB15.pg

WeBWorK Exercise
###### 13

Description: Library/SDSU/Discrete/Logic/formallogicB16.pg

WeBWorK Exercise
###### 14

Description: Library/SDSU/Discrete/Logic/formallogicB17.pg

WeBWorK Exercise