PowerPoint Presentation - CS 60 Slides

and

lshorter rex rules (using sequential convention):

land(1, 1) => 1;

land(x, y) => 0;