If I have the following statements:

For Idempotent:

Since X * X = X, would that imply that ~X * ~X = ~X

For Dominance:

Since X + 1 = 1 would that imply that ~X + 1 = 1

  • 2
    $\begingroup$ You can easily check your statements using for example the method of truth tables. $\endgroup$ – Anton Trunov Mar 9 '16 at 19:42
  • $\begingroup$ Would this work also when simplifying any expression using Boolean theorems, in that case is truth? $\endgroup$ – user3395308 Mar 9 '16 at 19:52

The principle of substitution states that if $\varphi$ is a valid (fully parenthesized) formula in variables $x_1,\ldots,x_n$ and $e_1,\ldots,e_n$ are arbitrary expressions, then if we substitute $e_i$ for $x_i$ in $\varphi$ (you have to substitute all occurrences of $x_i$ by $e_i$) we still get a valid formula. You can apply this principle to your examples.

Perhaps the principle will become easier to understand if we take an example from algebra. Consider the identity $(x+y)(x-y) = x^2-y^2$. If we substitute $2a$ for $x$ and $1+a$ for $y$ then we get $((2a)+(1+a))((2a)-(1+a)) = (2a)^2-(1+a)^2$, which is still valid. The same happens in your case.


Not the answer you're looking for? Browse other questions tagged or ask your own question.