Saturday, June 15, 2019

Solution of one problem 23 from USE in Informatics 2019 or addressing one ugly 23-rd problem

Original task




Down here we intend to demonstrate one more time well known axiom of well known USE's in Informatics developer ( sure not myself ), which states any system of boolean equations could be solved via Mapping Method. Would you expirience trouble in doing so that appears to be the limitation of yours skilset rather then the limitation of the method.

You might want to see the most impressive and up to date Mapping
Method solution of more or less complicated  system at
Helen Mironchick's Solution of one sysem of boolean equations from USE in Informatics forum (16.05.2019)

System below is equivalent to original one.
The previous system is supposed to make convertion itself
a real headaches generator

(x1=>x2)^(y2=>y1)^(x1 v y1)=1
(x2=>x3)^(y3=>y2)^(x2 v y2)=1
(x3=>x4)^(y4=>y3)^(x3 v y3)=1
(x4=>x5)^(y5=>y4)^(x4 v y4)=1
(x5=>x6)^(y6=>y5)^(x5 v y5)=1
x6 v y6=1


Proceed with building fork diagram with transition pair (x2,y2) &&  forking matrix

 
       Passing Polyakov's Control
  


No comments:

Post a Comment