This project generates parse tree for a given logic formula .It also constructs and validates CNF expressions from the generated parse trees using algorithms like IMP_FREE, NNF, DISTR, CNF.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results