Ik denk dat het de bedoeling is dat met schakelaar 1 altijd naar "beide lampen aan" geschakeld kan worden.
In jou schema/waarheidstabel als beide schakelaars "aan" staan, dan kan je met schakelaar 1 bedienen of lamp1 of lamp2 aan is.
Je kan schakelaar 2 dan zien als: Beide lampen samen aan/uit of "apart" = altijd precies 1 aan.
Lamp 1 schakelt dan tussen de mogelijkheden.
Maar goed. Zoals in het originele progamma-van-eisen staat, heb je de vervelende situatie dat beide lampen aan zijn, en je dan schakelaar 1 bedient en... alleen 1 lamp gaat uit, je moet naar schakelaar 2 lopen om ze alletwee uit te krijgen.
Volgens mij is er een externe state nodig om het plaatje compleet te maken:
1 persoon1 zet lamp2 aan met schakelaar 2.
2 persoon2 wil vol licht, bedient schakelaar 1 en krijgt ook lamp1 aan
3 persoon1 verlaat de ruimte
4 persoon2 verlaat de ruimte en wil alle lichten uitdoen met schakelaar 1....
Het is nu een kwestie van beoordeling, wensen, inschattingen... wat nu "gewenst gedrag" is. Als je "persoon1" kan instrueren om schakelaar 2 om te gooien als ie weggaat ook al doet dat nu niets.... dan is zoals beschreven misschien voldoende. Maar het is lastig voor mensen om een schakelaar die niets doet te bedienen. Dat wordt vaak vergeten. Wat als er een lamp2 gebruiker persoon3 binnenkomt tussen 2 en 3? Moet die de schakelaar uitzetten?