Является ли это правильным булевым выражением?

Question

Является ли это булево выражение регулярным и разрешимым? Если да, каков приоритет отрицания над операциями OR и AND?

Answer 1

_________________________ 
_______________ 
    ______   _____ 
ABC + AC(B + D) + CD + B 

=

_________________________ 
______________ 
    ______   _ _ 
ABC + AC(B + D) + C(D.B) 

=

_________________________ 
________________ 
    _  _    _ _ 
ABC(1 + A)(B + D) + C(D.B) 

=

_________________________ 
____________ 
    _    _ _ 
ABC(1)(B + D) + C(D.B) 

=

_________________________ 
_________ 
    _   _ _ 
ABC(B + D) + C(D.B) 

=

_________________________ 
___________ 
    _  _  _ _ 
ABCB + ABCD) + C(D.B) 

=

_________________________ 
________________ 
    _  _  _ _ 
ABCB + ABCD) + C D.B 

=

_________________________ 
______ _____ 
_  _  _ _ 
ABCB . ABCD) + C D.B 

=

_________________________ 
_ __ _ __  _ _ 
ABCB . ABCD) + C D.B 

=

____________________ 
_ _ _ _  _ _ 
ABC (B + D) + C D.B 

=

____________________ 
_ _ _ _  _ _ 
ABC (B + D) + C D.B