I can put that into a table with all four possible switch positions:

Left switch	Right switch	Green lamp	Red lamp
up	up	off	off
up	down	off	ON
down	up	off	ON
down	down	ON	off
	Function:	AND	EXCLUSIVE OR

Maybe it is stunning: Never will both lights be on... we neglect that now.

Inspect it!

move on