问题描述
我正在尝试对值列表使用命题逻辑。我将有一个真值或假值的列表。我有一个逻辑表达式，我正在尝试将其应用于值列表。例如，逻辑表达式 T ^ F v T ^ T 将应用于值列表（真和假）。我将用逻辑表达式中的 T 和 F 替换我的值。因此，当表达式应用于它时， [true,true,false,false] 的列表将类似于“true ^ true v false ^ false”。我将有不同的值列表组合。
fun take(a::b::c::d::rest) =
(a andalso b) orelse (c andalso not d);
(*Test *)
take([false,false]);
val it = true : bool
该函数有效，但我想知道是否可以使用递归来将逻辑表达式应用于列表。
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）