Solution of one non-trivial system of boolean equations

March 3, 2019

I am thankful to Helen Mironchick for pvoviding this problem to me as well as core idea of building graph based diagrammes for solution of system without transition pairs ( usually utilized by mapping method )

((x1≡ x3)=> (x2≡x4))=>x5 = 1
((x5≡ x7)=> (x6≡ x8)=> x10 = 1

Screenshot from 2019-03-03 11-39-23