← Satisfiability and Validity - MIT OpenCourseWare