用状态应用法描述农夫、狼、羊和菜的故事

设：
N = 农在此岸,非N = 农在彼岸.
L = 狼在此岸,非L = 狼在彼岸.
Y = 羊在此岸,非Y = 羊在彼岸.
C = 菜在此岸,非C = 菜在彼岸.
过河方案：
NLYC ==> (非N)L(非Y)C ==> NL(非Y)C ==> (非N)( 非L)( 非Y)C ==> N(非L)YC
==> (非N)( 非L)Y(非C) ==> N( 非L)Y(非C) ==> (非N)( 非L)( 非Y)(非C)
多给点分吧!我很需要.