Introduction - If you have any usage issues, please Google them yourself
Realize the proposition formula judgments and output main disjunctive normal form, principal and take paradigm, including parentheses matching, MFC realization, friendly interface!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!