http://selftiming.ru/new/2001/02/14/sredstvo-analiza-sistemy-bulevyh-uravnenij-na-polumodulyarnost-i-distributivnost/