To jest problem z językiem angielskim. Otrzymałeś specyfikację w języku naturalnym i starasz się przekształcić ją w jawną logikę.

Przełączniki A i B są włączone

Użyłeś bramki AND do tego, zgadza się, ta klauzula to (a AND b), nazwijmy ten wynik częściowy e.

Albo przełącznik C, albo przełącznik D jest włączony, ale nie oba.

Użyłeś do tego bramki XOR, zgadza się, ta klauzula to (c XOR d), nazwijmy ten wynik częściowy f.

Do tej pory całe wyrażenie zredukowałeś do ...

Lampa zapali się tylko w następujących sytuacjach: e? f

Otóż, czy „tylko jeśli” oznacza, że ​​zapala się, jeśli e AND f, czy też oznacza e LUB f?

To dlatego inżynierowie wpadają w kłopoty, akceptując pracę ze specyfikacją napisaną w języku angielskim, a następnie zdając sobie sprawę, że tak naprawdę nie wiedzą, o co proszą, dopóki nie zaczną jej wdrażać. „Tylko jeśli” brzmi trochę logicznie, prawda?

„Tylko jeśli” nie jest używane w logice. Istnieje termin „jeśli i tylko wtedy”, zwykle wyrażany jako IFF. Jednak IFF jest dwuskładnikowy, ma na celu wyrażanie prawdy o systemie, a nie jako wzór na uzyskanie wyniku z danych wejściowych. Na przykład „Mam brata IFF, moje rodzeństwo jest mężczyzną”. (Coś) IFF (warunkowe).

Kiedy próbujesz sprawić, by formuła logiczna działała, wyraźnie nie oznacza to IFF, ale IF. Więc mamy ...

(Zapali się lampka) IF (e? f).

IF nadal nie wyjaśniło, czy to? powinno być AND lub OR, a nawet czymś innym. Angielski nie jest wystarczająco precyzyjny. To może oznaczać jedno z nich.

Ponownie wpiszmy „tylko”, aby sprawdzić, czy pomoże to zakwalifikować, czy jest to AND czy OR.

Lampa zaświeci się TYLKO, jeśli wystąpią OBIE następujące zdarzenia: e? f

Lampa zapali się TYLKO, jeśli wydarzy się jedna z następujących sytuacji: e? f

Pierwsza z nich brzmi rozsądnie, choć nietypowo, jako native speakera, ale druga brzmi naprawdę dziwnie.Gdyby angielski nie był moim pierwszym językiem, to mógłbym nie dojść do takiego wniosku.

Może to być pytanie, które ma na celu sprawdzenie, czy potrafisz dostrzec takie niejasności i powiedzieć, że jest niedokładne.

Jednak gdybym przystępował do egzaminu i uważał, że „jest tylko jedna prawidłowa odpowiedź”, to postawiłbym na AND, to moja najlepsza lektura angielskiego.

Gdybym wdrażał produkt ze specyfikacji klienta, wracałbym do niego i pytał, czy tak naprawdę ma na myśli.

Jak pokazał Neil_UK w swojej odpowiedzi, może być nieco otwarta na interpretację. Omówił prawie wszystko, więc mogę tylko pomóc, pozwalając ci zobaczyć to wizualnie.

Lampa zapali się tylko w następujących przypadkach:

• Przełączniki A i B są włączone.
• Przełącznik C lub przełącznik D jest włączony, ale nie oba.

Najpierw przyjrzyjmy się pierwszemu warunkowi:

• Przełączniki A i B są both włączone, ale nie oba

^{symuluj ten obwód - schemat utworzony przy użyciu CircuitLab}

Spójrzmy teraz na drugi warunek:

• Którykolwiek przełącznik C or przełącznik D jest włączony, ale nie oba

^{zasymuluj ten obwód}

Świetnie. Mamy teraz obwód z 4 przełącznikami. Ale jak powiedziałeś, masz teraz 2 wyjścia. Można je teraz nazwać E i F :

^{zasymuluj ten obwód}

Stąd może być nieco otwarty na interpretację, ale masz teraz dwie możliwości. Czy pytanie oznaczało, że istnieją oba te warunki? Oznacza to, że A AND B, i C XOR D jest stanem? A może oznaczało to A AND B, or C XOR D?

Przyjrzyjmy się dwóm możliwym obwodom:

^{zasymuluj ten obwód}

Spójrzmy teraz na sformułowanie:

Lampa zapali się tylko w następujących przypadkach:

Dla mnie to brzmi tak, jakby to oznaczało, że obwód AND jest tym, którego potrzebujesz.

To, co mówi @Neil_UK, jest całkowicie poprawne, że pytanie jest trochę niejasne, ale wydaje mi się, że lampa powinna się zapalić, jeśli oba wymienione warunki są spełnione.W takim przypadku weź dane wyjściowe bramek AND i OR , które już utworzyłeś, i przepuść je przez inną bramkę AND .Ta ostatnia bramka AND zostanie aktywowana tylko wtedy, gdy zostaną spełnione OBA twoje warunki, a nie tylko jeden.

Dla kompletności, jeśli chcesz, aby lampa zaświeciła się, jeśli jeden z warunków jest spełniony, użyj bramki OR zamiast AND dla bramki końcowej.

Mam nadzieję, że to pomoże!

Dziękuję @Neil_UK, @Hein Wessels i @MCG, wszyscy utorowali mi właściwą drogę, aby uzyskać odpowiedź, przede wszystkim @Neil_UK pomógł mi w upewnieniu się, że moje pierwsze dwie bramy (brama A AND B) i (C XOR D) i zasugerował, że ostatnia brama powinna być (bramka E AND F), @Hein Wessels zapewnił ostatnią bramkę, a @MCG wyświetlił obwody logiczne z dwiema różnymi możliwościami i zakończył bramę, którą wziąłem do uznania.Chciałbym podziękować wszystkim za poświęcenie czasu i dodatkowy wysiłek w moim pytaniu, jest to głównie tekst z podziękowaniami, ale także ostateczna odpowiedź.

Doszedłem do wniosku, że odpowiedź brzmi „(A AND B) + (C XOR D) = (E AND F)”

Sposób uzyskania odpowiedzi może być prostszy, jeśli zastąpimy condition 1 w pierwszej instrukcji, a condition 2 w drugiej.Po tej zamianie wymóg, aby lampa świeciła, brzmi: Lampa zaświeci się, tylko jeśli ... condition 1 I condition 2 są prawdziwe.ORAZ to implied przez część instrukcji „tylko jeśli”.Tak więc, po spełnieniu wymagań dla każdego stwierdzenia, Ty ORAZ wyniki.