Bora.g4

grammar Bora;

prog
    : expr?;

expr
    : expr AND expr     # andOperator
    | expr NAND expr    # nandOperator
    | expr OR expr      # orOperator
    | expr NOR expr     # norOperator
    | expr XOR expr     # xorOperator
    | expr IMPLIES expr # impliesOperator
    | expr XNOR expr    # xnorOperator
    | term              # termExpr;

term
    : factor            # factorExpr
    | term term         # implicitAndOperator;

factor
    : NOT factor        # notOperator
    | VARIABLE          # variable
    | TRUE              # literalTrue
    | FALSE             # literalFalse
    | '(' expr ')'      # groupFactor;

VARIABLE: [a-zA-Z];

AND: 'and'|'AND'|'*';
OR: 'or'|'OR'|'+';
NOT: 'not'|'NOT'|'~';

NOR: 'nor'|'NOR';
NAND: 'nand'|'NAND';

XOR: 'xor'|'XOR';
XNOR: 'xnor'|'XNOR'|'<->'|'<=>';

IMPLIES: 'implies'|'IMPLIES'|'->'|'=>';

TRUE: '1';
FALSE: '0';

WS: [ \t\r\n]+ -> skip;