GITのmergeの規則性？？（だいたいコンフリクト起こしませんか？）

Question

下記に例を示します。どういう規則でmergeされるか教えてください。下記のような単純なプログラムでもコンフリクトを起こします。こういうものなのでしょうか？
==========例1==========
master-test.py

def func():
    print("master")

branch1-test.py

def func():
    print("branch1")

master-test.py(merge後)

def func():
<<<<<<< HEAD
    print("master")
=======
    print("branch1")
>>>>>>> branch1

==========例2==========
master-test.py

def func():
    print("master")

branch1-test.py

def func():
    print("branch1")
    print("master")

master-test.py(merge後)

def func():
<<<<<<< HEAD
=======
    print("branch1")
>>>>>>> branch1
    print("master")

==========例3==========
master-test.py

def func():
    print("master")

branch1-test.py

def func():
    print("master")
    print("branch1")

master-test.py(merge後)

def func():
    print("master")
<<<<<<< HEAD
=======
    print("branch1")
>>>>>>> branch1

Answer 1

祖先コミット(枝分かれの元コミット)のファイルとの差分範囲が重なる

重なった差分の内容が異なる

時に、コンフリクトと判定されるようです。

それぞれのブランチが、どちらもコミットされた後に、branch1をmasterにマージしたと想定すると…

お互いのブランチの祖先にあたる、一つ前のコミットのtest.py(実際はファイルがない、ような気がしてます)と、それぞれのブランチでコミットしたtest.pyとの差分範囲は、どの例も重なることになります。そして差分の内容が一致していないので、コンフリクトと判定されることになります。