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

设：
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)

多给点分吧！我很需要。谢谢！