You begin with truth tables. But MIT does not treat this as trivial. You learn that logical connectives (( \land, \lor, \lnot )) form a Boolean algebra. The key insight here is tautology—statements that are always true regardless of variable values.
Having the resources is not enough. You must cultivate specific habits. You begin with truth tables
Math students often try to write a perfect proof in pen on the first try. This is impossible. You begin with truth tables