Алгебра высказываний

Алгебра предикатов