Igazságtábla készítő program

Kifejezés:
Műveleti jelek hozzáadása ⅂ ∨ ∆ ∧ ⇒ ⇔
A B C D ( )