логика высказываний

Propositional logic