Graf bercabang menjadi dua lintasan. Lintasan atas adalah a dan lintasan bawah adalah a’; setelah itu kedua lintasan bergabung kembali.
Gambar 19.3.5. \(a \vee a' = I\)
Dalam Konteks