CS245 Assignments 1-4 Summary

Assignment 4

Alt text

Assignment 3

Determining Dead Code

Circuit Design

Entailment

Adequate Sets of Connectives

Structural Induction

Assignment 2

Structural Induction with Prefix Involved

Valuation Tree

Tautology, Contradiction, Satisfiable

Assignment 1

Subtleties of Translating Propositions