Логические операции

[AlexandraKr]

На данном этапе программа должна не реагировать ошибкой на ввод последовательности букв и чисел 0 или 1. Не пойму, почему она нормально воспринимает любую последовательность цифр.
Еще голову ломаю уже который час. Не удается реализовать в программе такое правило : двойное отрицание какого-то выражения равно этому выражению.
Lex-файл:

 %{
#include <stdio.h>
#include "y.tab.h"
 
extern YYSTYPE yyval;
%}
 
%%
[a-zA-Z]+   {ECHO;return LET;}
[01]        {ECHO;return NUM;}
"+"         {ECHO;return PLUS;}
"*"         {ECHO;return MULT;}
"!"         {ECHO;return NOT;}
[ \t\r]     //ignore these symbols
\(          {ECHO;return LBR;}
\)          {ECHO;return RBR;}
\n          printf("\n");

Yacc-файл:

%{
#include <stdio.h>
%}
 
%start logic 
 
%token LET NUM PLUS MULT NOT LBR RBR 
 
%left PLUS  
%left MULT
%right NOT
 
%%
logic:
     |logic stat
;
stat:expr
     {
     printf("%d\n",$1);
     }
    |LET
     {
     $$=$1;
     }
    |NUM
     {
     $$=$1;
     }
;
expr:NOT NOT LBR expr RBR
     {
     $$=$4;
     }
 
%%
main()
{
yyparse();
}
 
yyerror(s)
char *s;
{
fprintf(stderr,"%s\n",s);
}
 
yywrap()
{
return(1);
}