Dua graf. Graf di kiri memiliki dua lintasan. Pada lintasan atas, a menuju b, sedangkan pada lintasan bawah, a menuju c; setelah itu kedua lintasan bergabung kembali. Graf di kanan juga memiliki dua lintasan. Satu lintasan bercabang menjadi dua: pada lintasan atas, a menuju b, sedangkan pada lintasan bawah, a menuju c. Kemudian kedua lintasan bergabung kembali.
Gambar 19.3.3. \(a \wedge ( b \vee c ) = (a \wedge b ) \vee ( a \wedge c )\)
Dalam Konteks