查找与给定的fun :：Bool -> Bool -> Bool对应的逻辑连接词

Question

以下问题出现在模拟考试中，我无法理解答案是如何产生的。任何人想要推导出一种计算答案的方法，因为明天的考试将出现一组类似的问题。

将每个函数定义与逻辑运算进行匹配，实现答题正确匹配选择匹配

funA x True = x
funA _ _    = False
-- Correct A.   Logical AND


funB x False = x
funB x True  = not x
-- Correct B.   Exclusive OR


funC False _ = True
funC True x  = x
-- Correct C. Logical IMPLICATION

funD x False = x
funD _ True  = True
-- Correct D.  Logical (Inclusive) OR


funE x True  = x
funE x False = not x
-- Correct E.   Logical EQUIVALENCE

Answer 1

问题是如何将逻辑操作与实现它们的函数相匹配。一种方法是简单地将逻辑连接词的真值表与函数的真值表进行比较。

例如，和：

x    y    x AND y
-----------------
F    F       F
F    T       F
T    F       F
T    T       T

火柴

funA x True = x 
funA _ _ = False 

作为

x    y      funA x y
-------------------------
F    F         F
F    T         x == False
T    F         F
T    T         x == True

其余的情况也是如此。

另一种选择是观察当x为真和y为真时x AND y为真，并查看哪个函数满足这一点。