Changes

The '''simplification rule''' in [[logic]] states that where a [[conjunction]] of two [[variable]]s is true then both variables are true individually.  In plainer English this means that where a statment using "and" is true the separate parts of the statment are true on their own.

The '''simplification rule''' in [[logic]] states that where a [[conjunction]] of two [[variable]]s is true then both variables are true individually.  In plainer English this means that where a statement using "and" is true the separate parts of the statement are true on their own.

For example if the following is true:

For example if the following is true:

</blockquote>

</blockquote>

then the two following statments are also true:

then the two following statements are also true:

<blockquote>

<blockquote>