Diagram Venn

Salah satu cara untuk memudahkan untuk melukiskan hubungan antara variable dalam aljabar boolean adalah dengan menggunakan diagram venn. Diagram ini terdiri dari sebuah segi empat yang didalamnya dilukis lingkaran-lingkaran yang mewakili variabelnya, satu lingkaran untuk setiap variabelnya. Masing-masing lingkaran itu diberi nama menurut variable yang diwakilinya. Ditentukan bahwa semua titik diluar lingkaran itu tidak dimiliki oleh variable tersebut.

Misalnya lingkaran dengan nama A, jika dalam lingkaran itu dikatakan bernilai 1, maka diluar a dikatakan bernilai 0. untuk dua lingkaran yang bertumpang tindih, terdapat empat daerah dalam segiempat tersebut.

Diagram venn dapat digunakan untuk melukiskan postulate aljabar boole atau untuk membuktikan berlakunya aljabar Boolean. Gambar berikut menunjukan bahwa daerah yang dimiliki oleh AB terletak dalam lingkaran A sehingga A+AB = A.

Gambar berikut ,menunjukan hukum distributive A(B+C) = AB+AC

Dalam lingkaran itu tampak tiga lingkaran yang bertumpang tindih, satu untuk masing-masing variable A, B dan C. dengan demikian dimungkinkan untuk membedakan delapan daerah yang terpisah dalam diagram venn dengan variable itu. Dalam hal ini hokum distributiv dibuktikan dengan menunjukan bahwa daerah yang memotong lingkaran A dengan daerah yang meliputi B atau C adalah daerah yang sama yang dimiliki oleh AB atau A.