Формы мышления. Алгоритм определения количества строк в таблице истинности