1 / 4

ON(w1)  ON(w2)  OK(A)  ON(w3) ……………………………. (1)

Diagram 1 shows a four wires (w1, w2, w3 & w4) logic circuit.

bin
Download Presentation

ON(w1)  ON(w2)  OK(A)  ON(w3) ……………………………. (1)

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Diagram 1 shows a four wires (w1, w2, w3 & w4) logic circuit. It has an AND gate A and an inverter B. The input wires w1, w2 can be either switched ON or not. If the AND gate A is functioning OK, wire w3 is ON iff wires w1 and w2 both are ON. If the inverter B is functioning OK, wire w4 is ON iff wire w3 is not ON. QUESTION 1 Use expressions like ON(w1), OK(A) and so on to describe the functioning of the circuit. ON(w1)ON(w2) OK(A)  ON(w3) ……………………………. (1) ON(w3)OK(B) ON(w4) …………………………….(2)

  2. QUESTION 2 Using the formulas describing the functioning of the circuit and assuming that all components are functioning properly (OK) and that wires w1 and w2 are ON. Use resolution to show that w4 is not ON. Given that: OK(A) ……………………………(3) OK(B) …………………………….. (4) ON(w1) ……………………………..(5) ON(w2) ………………………………(6) From (5), (6) & (3): ON(w1) ON(w2) OK(A) ………………………..(7) From (1) & (7), using Modus Ponens: ON(w3) ………………………………………………(8) From (4) & (8): OK(B) ON(w3) ……………………………………. (9) From (2) & (9), using Modus Ponens: ON(w4) -- proven. ---------------------------------- (10)

  3. QUESTION 3 Using the formulas developed in question 1 and that wires w1 and w2 are ON but wire w4 is also ON. Use resolution to show that either AND gate or inverter is not functioning properly.

  4. Given that: ON(w1) …………………. (11) ON(w2) …………………. (12) ON(w4) …………………..(13) From (1): ON(w1)ON(w2)OK(A)  ON(w3) …………………….. (14) From (2): ON(w3)OK(B)ON(w4) ………………………………... (15) Resolving (11) & (14) ON(w2)OK(A)  ON(w3) …………………………………. (16) Resolving (16) & (12) OK(A)  ON(w3) ………………………………………… (17) Resolving (15) & (17) OK(A) OK(B)ON(w4) ………………………………… (18) Resolving (18) & (13) OK(A) OK(B) ------------ proven!

More Related