最后更新: 2025-03-09 09:11 查看: 37 次反馈同步训练

库银被盗，哪两个人作案？

## 库银被盗，哪两个人作案？

有一一仓库被盗，公安人员经侦察，怀疑甲，乙，丙和丁四人作案，又经细査，知道这四人中只有两人作案，在盗窃案发生的那段时间，可靠的线索有：
（1）甲，乙两人中有且只有一一个人去过仓库；
（2）乙和丁不会同时去仓库；
（3）丙若去仓库，丁必一同去；
（4）丁若没去仓库，则甲世没去．
试判断四人中哪两人去仓库作案？
此类问题，我们也可以用一种更规范的解法一一 化简范式去解决．

对逻辑式的化简标准，根据不同的需要，形式不是唯一的，但其中最基本的是化为最简的＂与－或＂式（即＂与＂式之 ＂或＂），因为其他的任何形式，都可由最简的＂与－或＂式等值变换而得到．最简的＂与－或＂式是指：
（1）项数最少；
（2）在项数最少的前提下，各项因子数最少。
在前面所遇到的化简中，都是按这个标准去做的。从理论上，这并不能彻底解决逻辑式化简问题，而从范式出发，是可以彻底解决逻辑式化简问题，并且比较规范。

设 $A_1, A_2, \cdots, A_n$ 是 $n$ 个逻辑变量，$P$ 是一个有 $n$ 个因子的乘积项（与项），且 $P$ 中每个因子都取自不同的变量，或者是原变量，或者是变量的非，则称 $P$ 是 $n$ 个变量的一个最小项．在一个有 $n$ 个变量的＂与－或＂式 $F$ 中的每一个乘积项，都是这 $n$ 个变量的最小项，则称该＂与－或＂式 $F$ 为＂与－或＂范式。

利用公式 $A B+A \bar{B}=A$ ，可以将任一个＂与－或＂式化为 ＂与－或＂范式．如

$$
\begin{aligned}
F & =A B+\bar{A} C \\
& =A B(C+\bar{C})+\bar{A}(B+\bar{B}) C \\
& =A B C+A B \bar{C}+\bar{A} B C+\bar{A} \bar{B} C .
\end{aligned}
$$

我们知道＂与－或＂式不是唯一的，但可以证明＂与－或＂范式是唯一的．正因为这种规范性，在求解含有逻辑变量的等式 ——逻辑方程时，往往都化为＂与－或＂范式去求解．如求解逻辑方程

$$
(A+B)(B+\bar{C})=1,
$$

左端化为＂与－或＂范式

$$
\begin{aligned}
(A+B)(B+\bar{C}) & =B+A \bar{C} \\
& =(A+\bar{A}) B+A \bar{C}(B+\bar{B}) \\
& =A B+\bar{A} B+A B \bar{C}+A \bar{B} \bar{C} \\
& =A B(C+\bar{C})+\bar{A} B(C+\bar{C})+A B \bar{C}+A \bar{B} \bar{C} \\
& =A B C+A B \bar{C}+\bar{A} B C+\bar{A} B \bar{C}+A \bar{B} \bar{C},
\end{aligned}
$$

于是原方程化为

$$
A B C+A B \bar{C}+\bar{A} B C+\bar{A} B \bar{C}+A \bar{B} \bar{C}=1
$$

由＂或＂运算的意义，就有 $A B C=1$ 或 $A B \bar{C} \approx 1$ 或 $\bar{A} B C=1$ 或

免费注册看余下 50%

本站提供海里试题，欢迎使用，最低 8.2 元/月，非VIP每天12篇文章

赞助本站

上一篇：谁是说谎者？

下一篇：表决器的设计

本文对您是否有用？有用 (0) 无用 (0)