Class bool Quiz

1. Which of the following is/are equivalent to the expression  b ==> a ?

1. b | a
2. ~b | a
3. ~(b | a)
4. ~(b & ~a)

Expression 2 is equivalent to  b ==> a by the definition of  ==> .
Expression 4 is also correct because, by De Morgan's law, ~(b & ~a) can be simplified to ~b | a.

---

2. If I have two expressions A and B, under what conditions is A ==> B equivalent to B <== A?

When both the expressions A and B can be evaluated without error, regardless of the value of the other.

---