I'm struggling in converting this problem to Conjunctive Normal Form. I'd appreciate any help or guiding.
There are $n$ stones in the river. Every stones has two states: above or below the water. There are $m$ switches. Every switch has two states: open and close. These switches can control the states of the stones. Every time you change the state of a switch, the states of the corresponding stones also change. Each switch control one or two stones.
First of all, I use $P_1$ to $P_n$ to denote stone states and $Q_1$ to $Q_m$ to denote switch states.
The problem is I don't know how should I interpret switch control the states of the stone relationship to proposition logic.
Thank so much in advance!