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

  • Thread starter Thread starter hossam killua
  • Start date Start date
hossam killua
Messages
10
Reaction score
0


find cnf and dnf
 
Physics news on Phys.org


my solution can't go far
 
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.
 

Thread 'Deductive proof in logic formal systems'

I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
View full post »

Similar threads

MHB Solving a Complex Logical Equivalence in CNF Form
Replies
3
Views
2K
Efficient Algorithm for Solving CNF/DNF Logic Problem with 9 Input Literals
Replies
2
Views
2K
Converting CNF to DNF: Does it Always Work?
Replies
2
Views
16K
MHB Please help with bool algebra and logic things
Replies
2
Views
2K
MHB Finding an Exact Solution for the Recurrence Formula f(n) = 2f(sqrt(n)) + n
Replies
8
Views
5K
MHB NP-complete Proof: 3-SAT is Polynomially Transformable
Replies
3
Views
2K
A formula provable without is a tautology
Replies
1
Views
2K
Designing a 2-bit Comparator with NOR gates
Replies
7
Views
8K
MHB Maximum Likelihood Estimators for Uniform Distribution
Replies
3
Views
3K
I Proof using Rule of Disjunctive Amplification
Replies
6
Views
3K

Hot Threads

Recent Insights

Back
Top