PowerPoint Presentation - CS 60 Slides

implies

lrex rules:

limplies(0, 0) => 1;

limplies(0, 1) => 1;

limplies(1, 0) => 0;

limplies(1, 1) => 1;