Математические основы информатики. Истинность высказываний. Логические операции