Алгебра высказываний: практикум по дисциплине «Математическая логика».