第1个回答 2016-05-28
在布尔代数中发现重言式的最简单的方法是使用真值表。但是，随着涉及到的变量的数目的增长，真值表的大小成 2 的幂增长，这使它不利于四个或更多变量的重言式，这时简化和代数变得更有用。 (p^(p->q))->q p q p->q p^(p->q) (p^(p->q))->q 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 1 1 1 1
在布尔代数中发现重言式的最简单的方法是使用真值表。但是，随着涉及到的变量的数目的增长，真值表的大小成 2 的幂增长，这使它不利于四个或更多变量的重言式，这时简化和代数变得更有用。 (p^(p->q))->q p q p->q p^(p->q) (p^(p->q))->q 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 1 1 1 1
