Добавлена функция next_state_conj_mem из state теорему состояний с условием объединённых по И в state теорему о следующих состояний с условием объединённые по И; и функция foldCONJ с исключением