2.6 Dvoustupňové logické sítě
2.7 Analýza logické sítě
- zjišťování chování podle struktury
- řešení je vždy jednoznačné na rozdíl od syntézy