Математические основы информатики Алгебра высказываний Под простым высказыванием Закон ассоциативного сдвига пример