normalized_conjunction.cpp 23.8 KB