Bonjour, j'ai bientôt un examen en algo et je ne m'en sors pas sur la partie compilateur. Le prof nous a donné ceci et je ne sais pas comment le lire?

<expr> ::= <term>
| <term> OR <expr>

<term> ::= <fact>
| <fact> AND <TERM>

<fact> ::= variable
| NOT <fact>
| ( <expr> )
De plus , il nous demande d'expliquer l'OCT de Warshall (O(n^3)) mais je ne sais pas comment faire.

Merci d'avance

Julien