要在ANTLR中允许布尔值在算术运算中，需要进行如下步骤：

1. 在ANTLR的语法文件中定义布尔表达式的规则。假设布尔表达式可以包含"true"和"false"两个关键字，以及逻辑运算符"and"、"or"和"not"。

grammar Arithmetic;

// 布尔表达式规则
booleanExpression: TRUE | FALSE
                | booleanExpression AND booleanExpression
                | booleanExpression OR booleanExpression
                | NOT booleanExpression
                ;

// 布尔关键字规则
TRUE: 'true';
FALSE: 'false';

// 逻辑运算符规则
AND: 'and';
OR: 'or';
NOT: 'not';

// 算术表达式规则（仅作示例）
arithmeticExpression: // 定义算术表达式的规则
                     ;

2. 在ANTLR的语法文件中引入布尔表达式规则，以便在算术表达式中使用布尔表达式。

grammar Arithmetic;

// 引入布尔表达式规则
import boolean.BooleanExpressionLexer;
import boolean.BooleanExpressionParser;

// 布尔关键字规则
TRUE: 'true';
FALSE: 'false';

// 逻辑运算符规则
AND: 'and';
OR: 'or';
NOT: 'not';

// 算术表达式规则中使用布尔表达式规则
arithmeticExpression: // 定义算术表达式的规则
                     | booleanExpression // 引用布尔表达式规则
                     ;

3. 创建一个布尔表达式的词法解析器和语法解析器，用于解析和处理布尔表达式。

import org.antlr.v4.runtime.*;
import org.antlr.v4.runtime.tree.*;

public class BooleanExpressionVisitor extends BooleanExpressionBaseVisitor {
    @Override
    public Boolean visitBooleanExpression(BooleanExpressionParser.BooleanExpressionContext ctx) {
        if (ctx.TRUE() != null) {
            return true;
        } else if (ctx.FALSE() != null) {
            return false;
        } else if (ctx.AND() != null) {
            return visit(ctx.booleanExpression(0)) && visit(ctx.booleanExpression(1));
        } else if (ctx.OR() != null) {
            return visit(ctx.booleanExpression(0)) || visit(ctx.booleanExpression(1));
        } else if (ctx.NOT() != null) {
            return !visit(ctx.booleanExpression(0));
        }
        return null;
    }
}

4. 将布尔表达式解析集成到算术表达式解析中。

import org.antlr.v4.runtime.*;
import org.antlr.v4.runtime.tree.*;

public class ArithmeticExpressionVisitor extends ArithmeticExpressionBaseVisitor {
    @Override
    public Integer visitArithmeticExpression(ArithmeticExpressionParser.ArithmeticExpressionContext ctx) {
        if (ctx.booleanExpression() != null) {
            BooleanExpressionVisitor booleanVisitor = new BooleanExpressionVisitor();
            boolean result = booleanVisitor.visit(ctx.booleanExpression());
            // 在算术表达式中处理布尔值的结果
            return result ? 1 : 0;
        } else {
            // 处理其他算术表达式的情况
            return super.visit(ctx);
        }
    }
}

通过以上步骤，在ANTLR中就可以同时处理算术表达式和布尔表达式，并允许布尔值在算术运算中的使用。