• 2022-05-30
    下列谜题可以通过先把语句翻译成逻辑表达式,然后再用真值表对这些表达式进行推理来求解。一位侦探访谈了罪案的四位证人。从证人的话中侦探得出的结论是:如果男管家说的是真话,那么厨师说的也是真话,厨师和园丁说的不可能都是真话;园丁和杂役不可能都在说谎;如果杂役说真话,那么厨师就在说谎。侦探能分别判定这四位证人是在说真话还是撒谎?解释你的推理过程。