Реализация теорем Булевой алгебры в Java

Question

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

Например:

A AND (B OR C)

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

(A AND B) OR (A AND C)

Редактировать:

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

Answer 1

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

}

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

}