Concise Summary
(sequential convention applies)
(sequential convention applies)
land(1, 1) => 1;
land(x, y) => 0;
lor(0, 0) => 0;
lor(x, y) => 1;
lnot(0) => 1;
lnot(1) => 0;
limplies(1, 0) => 0;
limplies(x, y) => 1;