Question

离散数学请教

A.B.C.D中要派两个人出差，按下列条件有几种派法？如何派？（用主析取范式法）1，A若去则C和D中要去一人，2，B和C不能都去，3，C去则D要留下

Answer 1

举个例子：将问题化为命题(A→(C 析取 D)) 合取 (非B 合取 非C) 合取 (C→非D)，将其划成含有（A/B/C/D）的原子式所组成的析取范式即可发现所有可行方案。

Answer 2

(A->C或D)且（非B且非C）且（C->非D）,然后计算出ABCD的析取形式即可得出方案。