next up previous contents
Next: Deduktiivselt võrdsed valemid (deductivly Up: No Title Previous: Assotsiatiivne tehe (associative operator)

Boole'i algebra (Boolean algebra)

- hulk, milles on defineeritud kaks kommutatiivset, assiotsiatiivset, teineteise suhtes distributiivset ning neelduvat binaarset operatsiooni tex2html_wrap_inline345 ja tex2html_wrap_inline337 ja unaarne operatsioon tex2html_wrap_inline349 (täiend) nii, et iga x,y korral on rahuldatud tingimused

displaymath343



Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996