Реализация логических теорем алгебры в java

Question

Как я могу реализовать теорему дистрибутива булевой алгебры в Java?

Например:

A AND (B OR C) 

должен быть расширен

(A AND B) OR (A AND C) 

Edit:

Ребята, вы все должны мисс поняли мой вопрос, я хочу, чтобы реализовать некоторые теоремы булевой алгебры , A, B и C все являются токенами и должны расширять это булевское выражение, это своего рода расширение булевого запроса, (текстовая обработка)

Answer 1

if(a && (b | c)) { 

} 

if(a & b || a & c) { 

}