«Բարդ որոշելի» բանաձևերի արտածումների բարդությունները ասույթային հաշվի համակարգերում.