Solution of one system of equations in boolean variables having style like x1 => x2 => … =>x6=1 && y1 => y2 => … =>y6 =1 && x1 => y1 via Mapping method

Original system looks like :-
x1 => x2 => x3 => x4 => x5 => x6 =1
y1 => y2 => y3 => y4 => y5 => y6 =1
x1 => y1 =1

Down here we follow approach originally developed in
http://www.loiro.ru/files/news/news_943_etodotobrajeniya-mea-2013-10.pdf
Build basic diagram and define function F( ) to apply Mapping method
suggested  by E. Mironchick

Now calculate number of solutions of equation
x1 => x2 => x2 => x3 => x4 => x5 => x6 =1 starting with x1=1

Calculate  number of solutions of equation
y1 => y2 => y3 => y4 => y5 => y6 =1  starting with y1=0

So, we intend to calculate number  of {x},{y} corteges breaking
third equation and afterwards deduct amount, been obtained,  from 43^2

Keeping in mind

Thus final answer is : – Count = 43^2 – 21*22 = 1387

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: