ЛОГИКА ВЫСКАЗЫВАНИЙ ЛОГИЧЕСКИЕ СВЯЗКИ ФОРМУЛЫ АЛГЕБРЫ ВЫСКАЗЫВАНИЙ ТОЖДЕСТВЕННО-