теория булевых алгебр

Boolean calculus