Dies ist ein Problem in englischer Sprache. Sie haben eine Spezifikation in natürlicher Sprache erhalten und haben Schwierigkeiten, diese in eine explizite Logik umzuwandeln.

Die Schalter A und B sind beide eingeschaltet.

Sie haben dafür ein UND-Gatter verwendet. Richtig, diese Klausel ist (a UND b). Nennen wir dieses Teilergebnis e.

Entweder Schalter C oder Schalter D ist eingeschaltet, aber nicht beide.

Sie haben dafür ein XOR-Gatter verwendet. Richtig, diese Klausel lautet (c XOR d). Nennen wir dieses Teilergebnis f.

Bisher haben Sie den gesamten Ausdruck auf ...

Eine Lampe leuchtet nur, wenn Folgendes passiert: e? f

Bedeutet "nur wenn", dass es leuchtet, wenn e UND f, oder bedeutet es e ODER f?

Aus diesem Grund geraten Ingenieure in Schwierigkeiten, nehmen einen Job mit einer in englischer Sprache verfassten Spezifikation an und stellen dann fest, dass sie nicht wirklich wissen, worum es geht, bis sie ihn implementieren. 'Nur wenn' klingt ein bisschen logisch, nicht wahr?

'Nur wenn' wird in der Logik nicht verwendet. Es gibt einen Begriff "genau dann, wenn", der normalerweise als IFF ausgedrückt wird. IFF ist jedoch eine Bedingung, die die Wahrheit über ein System zum Ausdruck bringen soll und nicht als Formel, um aus Eingaben ein Ergebnis zu erhalten. Zum Beispiel "Ich habe einen Bruder, wenn mein Geschwister männlich ist". (Etwas) IFF (bedingt).

Wenn Sie versuchen, eine Logikformel zum Laufen zu bringen, bedeutet dies eindeutig nicht IFF, sondern IF. Also haben wir ...

(Eine Lampe leuchtet auf) IF (e? f).

Die IF noch hat nicht geklärt, ob das so ist? sollte UND oder ODER oder sogar etwas anderes sein. Englisch ist nicht präzise genug. Es könnte beides bedeuten.

Lassen Sie uns das 'einzige' wieder einsetzen, um zu sehen, ob es hilfreich ist, zu qualifizieren, ob es sich um UND oder ODER handelt.

Eine Lampe leuchtet NUR, wenn BEIDES Folgendes passiert: e? f

Eine Lampe leuchtet NUR, wenn entweder Folgendes passiert: e? f

Als englischer Muttersprachler klingt der erste vernünftig, wenn auch ungewöhnlich, aber der zweite klingt wirklich seltsam.Wenn Englisch nicht meine Muttersprache wäre, könnte ich nicht zu diesem Schluss kommen.

Dies kann eine Frage sein, mit der getestet werden soll, ob Sie solche Unklarheiten erkennen und sagen können, dass die Frage unterbestimmt ist.

Wenn ich jedoch eine Prüfung ablegen würde und der Meinung wäre, dass es nur eine richtige Antwort gibt, würde ich mich für AND entscheiden, das ist meine beste Lektüre des Englischen.

Wenn ich ein Produkt aus der Spezifikation eines Kunden implementieren würde, würde ich zu ihm zurückkehren und ihn fragen, ob er das wirklich meinte.

Wie Neil_UK in seiner Antwort gezeigt hat, kann es ein bisschen offen für Interpretationen sein. Er hat so ziemlich alles abgedeckt, daher kann ich nur weiterhelfen, indem ich Ihnen erlaube, es visuell zu sehen.

Eine Lampe leuchtet nur, wenn Folgendes passiert:

• Die Schalter A und B sind beide eingeschaltet.

Entweder Schalter C oder Schalter D ist eingeschaltet, aber nicht beide.

Betrachten wir zunächst die erste Bedingung:

• Die Schalter A und B sind both aktiviert, aber nicht beide

^{simulieren diese Schaltung - Schema erstellt mit CircuitLab sup>}

Betrachten wir nun die zweite Bedingung:

• Entweder Schalter C or Schalter D ist eingeschaltet, aber nicht beide

^{simulieren diese Schaltung sup>}

Großartig. Wir haben jetzt eine Schaltung mit 4 Schaltern. Aber wie gesagt, Sie haben jetzt 2 Ausgänge. Diese können jetzt als E und F :

^{simulieren diese Schaltung sup>}

Von hier aus kann es ein bisschen offen für Interpretationen werden, aber Sie haben jetzt zwei Möglichkeiten. Bedeutete die Frage, wann diese beiden Bedingungen vorliegen? Bedeutet dies, dass A AND B, and C XOR D die Bedingung ist? Oder bedeutete es A AND B, or C XOR D?

Sehen wir uns Ihre 2 möglichen Schaltkreise an:

^{simulieren diese Schaltung sup>}

Betrachten Sie nun den Wortlaut:

Eine Lampe leuchtet nur, wenn Folgendes passiert:

Für mich bedeutet das, dass die AND-Schaltung die gewünschte ist.

Was @Neil_UK sagt, ist völlig richtig, dass die Frage etwas vage ist, aber es scheint mir, dass die Lampe aufleuchten sollte, wenn beide genannten Bedingungen zutreffen.Nehmen Sie in diesem Fall die Ausgabe der bereits erstellten AND und OR -Tore und führen Sie sie durch ein anderes AND -Gatter.Dieses letzte AND -Tor wird dann nur aktiviert, wenn BEIDE Bedingungen erfüllt sind und nicht nur eines.

Wenn der Vollständigkeit halber die Lampe aufleuchten soll, wenn eine der Bedingungen erfüllt ist, verwenden Sie ein ODER -Tor anstelle von UND für das endgültige Tor.

Hoffe das hilft!

Vielen Dank, @Neil_UK, @Hein Wessels und @MCG. Sie alle haben mir den richtigen Weg geebnet, um die Antwort zu erhalten. Zunächst einmal hat mir @Neil_UK geholfen, meine ersten beiden Tore (A- UND B-Tor) zu beruhigen) und (C XOR D) und deuteten an, dass das letzte Gatter ein (E- UND F-Gatter) sein sollte. @Hein Wessels versicherte das letzte Gatter und @MCG zeigte die Logikschaltungen mit zwei verschiedenen Möglichkeiten an und schloss ein Gatter, das ich zur Wertschätzung nahm.Ich möchte Ihnen allen dafür danken, dass Sie sich Zeit genommen haben und die Extrameile in meiner Frage. Dies ist hauptsächlich ein Text der Wertschätzung, aber auch die endgültige Antwort.

Ich kam zu dem Schluss, dass die Antwort "(A UND B) + (C XOR D) = (E UND F)" lautet.

Das Erhalten der Antwort ist möglicherweise einfacher, wenn die erste Anweisung durch condition 1 und durch die zweite Anweisung condition 2 ersetzt wird.Bei dieser Ersetzung lautet die Anforderung, dass die Lampe leuchtet: Eine Lampe leuchtet nur, wenn ... condition 1 UND condition 2 wahr sind.Das UND ist implied durch den "nur wenn" -Teil der Anweisung.Nachdem Sie die Anforderungen für jede Aussage erfüllt haben, UND die Ergebnisse.