You do not have access to this note.

6.2 Computing Truth Functions