ANSWERS

2.  (P -> Q) v Q
    (PQ + P + 1)Q + PQ + P + 1 + Q
    PQQ + PQ + Q + PQ + P + 1 + Q
    PQ + PQ + Q + PQ + P + 1 + Q
    PQ + P + 1

3.  ~(P <-> Q) & P
    (P + Q)P
    PQ + P

4.  P -> (Q & P)
     P(PQ) + P +1
     PQ + P + 1

5.  ~(P & Q) & Q
    (PQ + 1)Q
    PQ + Q

Return to the last section

Go on to the last section