ағылшын тіліндегі сөйлемдерді автоматты түрде логикалық формулаға ауыстыру жылдардан бастап зерттеліп келе жатқанына қарамастан бұл облыста аздап қана