Reading

Pre-reading quiz.

Where we last left off.

I got it wrong

  • Validity
  • Falsifiability
  • Satisfiability
  • Unsatisfiablity

Truth table

Re-draw:

  | A  | B  | B => A | A => (B => A) |
  | tt | tt | tt     | tt            |
  | ff | tt | ff     | tt            |
  | tt | ff | tt     | tt            |
  | ff | ff | tt     | tt            |

Code Review. Randomly select

Review Rules

What questions do you have. I’m not going to draw.

Decision procedure

P vs NP

Updated: