Can I Determine if a Formula is a Tautology by Finding its CNF and DNF?

  • Topic:
  • Thread starter Thread starter hossam killua
  • Start date Start date
Join the discussion
Registration is free. Start your own thread to ask a follow-up.
3 replies · 2K views
hossam killua
Messages
10
Reaction score
0


find cnf and dnf
 
Physics news on Phys.org
It would be better if you used $\LaTeX$ or at least posted the images not as thumbnails, but full sized so people don't have to click on them, opening up a new tab. :D
 
This formula is a tautology.