i) Let:
p: "the driver is present"
q: "the driver has buckled up"
r: "the ignition switch is on"
t: "the warning light should turn ON"
Then:
"(p\\land\\lnot q\\land r)\\to t"
ii) Let:
p: "it rains"
q: "you open your umbrella"
r: "you will get wet"
Then:
"(p\\land \\lnot q)\\to r"
Comments
Leave a comment