Page 7 - Discrete Mathematics
P. 7

CIRCUIT DIAGRAM:
                     P

                   Q                         AND                                                       S

                     R
                      P                                                                OR
                                                             ~P  Q  R
                     Q                         AND
                    R
                   EXERCISE:
                    P
                                                            AND
                     Q
                                        NOT

                                                                                        OR
                                                            AND


                                                            AND

                                NOT

                   SOLUTION:
                   We find the Boolean expressions for the circuits and show that they are logically
                    equivalent, when regarded as statement forms.

                      P                                             P  Q
                                                        AND
                     Q                                                   (P  Q)  (~P  Q) (P ~ Q)

                                     NOT              AND        ~P  Q               OR




                                                      AND

                                                                  P  ~Q
                           NOT













                                                                                                         7
   2   3   4   5   6   7   8   9   10