Saya mau tau Definisi dari Aljabar Boolean (struktur)

Sebuah aljabar Boolean adalah enam-tupel yang terdiri dari himpunan A, dilengkapi dengan dua operasi biner ∧ (disebut "pertemuan" atau "dan"), ∨ (disebut "sambungan" atau "atau"), sebuah operasi uner ¬ (disebut "kelengkapan" atau "bukan") dan dua elemen 0 dan 1 di A (disebut elemen "bawah" dan "atas", atau "terkecil" dan "terbesar", yang dilambangkan dengan simbol ⊥ dan ⊤), sehingga untuk semua elemen a, b dan c dari A, aksioma berikut ini berlaku: