{6} Binary Value Reduction Forcing Chain

With this solving technique, we will prove the two following assertions:

Because the two assumptions are complementary, and the results are the same, we can conclude that {3}.

Each assertion is proved by a chain of simple assertions. The chains may be dynamic, which means that the conclusions of multiple sub-chains are combined.

{7} {8}

The details of each chain is given below. Use the view selector below the grid to switch between the graphical illustrations of the two chains.

Chain 1: If {0}, then {2} (View 1):
{4}

Chain 2: If {1}, then {2} (View 2):
{5}