Graf dari kiri ke kanan yang bercabang menjadi lintasan atas a dan lintasan bawah b, lalu bergabung kembali. Graf berlanjut dan bercabang menjadi lintasan atas a serta lintasan bawah b’, bergabung kembali, lalu bercabang menjadi dua lintasan a dan b, dan akhirnya bergabung kembali.
Gambar 19.3.9. \((a \vee b) \wedge (a \vee b') \wedge (a \vee b)\)
Dalam Konteks