Логика и математика: основные логические операции