Proposition formula splitting method? -Truth table generator(py)

85 views Asked by At

I have been working on this project and came to this trouble on the process of obtaining the parts of the formula for a separate evaluation.

Like for example: (~p>~q)^(~(p^q))

I should get:

  1. (~p)
  2. (~q)
  3. (~p>~q)
  4. (p^q)
  5. (~(p^q))
  6. (~p>~q)^(~(p^q))

I managed to get the most basic ones like 1,2,3 and 4 but from there i haven't managed to get the 5 and 6.

This website shows exactly how I want to do it: Truth table generator

0

There are 0 answers