4. Būlio minimizacijos rezultatų grafinis vaizdavimas Veno diagramoje programa TOSMANA:

1. Teigiamų baigmių atvejo kompleksinis sprendinys ("a" ir "b" variantuose atskirai užbrūkšniuoti kompleksinio sprendinio dėmenys):
   
   
   1. 
      
      
   2. 
      
      
2. Teigiamų baigmių atvejo glaustasis sprendinys:
   
   
   
   
3. Neigiamų baigmių atvejo kompleksinis sprendinys ("a", "b" ir "c" variantuose atskirai užbrūkšniuoti kompleksinio sprendinio dėmenys):
   
   
   1. 
      
      
   2. 
      
      
   3. 
      
      
4. Neigiamų baigmių atvejo glaustasis sprendinys:
   
   
   

• Kaip matyti, teigiamų ir neigiamų baigmių glaustųjų sprendinių diagramose užbrūkšniuoti baltieji sektoriai nepersikerta (apibraukta mėlynai). Jeigu programa teigiamų ir neigiamų baigmių glaustųjų sprendinių diagramose užbrūkšniuotų tuos pačius baltus sektorius, tai rodytų, kad ji padarė prieštaringų supaprastinančių (kontrafaktinių) prielaidų.