- Решите с помощью SPIN следующую головоломку («Три монеты»). Из трех монет на столе первая и третья лежат кверху гербом, а вторая — кверху решкой. Каждый ход состоит в переворачивании двух из трех монет. Требуется сделать в точности три хода так, чтобы после них все монеты лежали одинаково — либо гербом, либо решкой кверху.
RUN
spin -a task12.pml
gcc -o pan pan.c
./pan
spin -t task12.pml