Boolean algebra

lattice that models the classical propositional logic

en-GB/buːliːn ˈæld͡ʒɪbɹə/
en-US/ˈbuˌliɑn ˈæld͡ʒəbɹə/

دسته بندی ها:

Heyting algebradistributive latticecommutative ring