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

Thread starter hossam killua
Start date Nov 3, 2014

Click For Summary

To determine if a formula is a tautology, one can find its Conjunctive Normal Form (CNF) and Disjunctive Normal Form (DNF). The discussion highlights that the solution process can be challenging, and it is suggested to use $\LaTeX$ for clarity in presenting formulas. Additionally, posting images in full size rather than as thumbnails is recommended for better accessibility. The conclusion confirms that the formula in question is indeed a tautology. Understanding CNF and DNF is essential for evaluating the truth of logical formulas.

Nov 3, 2014

hossam killua

find cnf and dnf

Physics news on Phys.org

Nov 3, 2014

hossam killua

my solution can't go far

Nov 3, 2014

MarkFL

Gold Member

MHB

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

Nov 3, 2014

Evgeny.Makarov

Gold Member

MHB

This formula is a tautology.

Thread 'A variant of the Monty Hall problem'

There is a nice little variation of the problem. The host says, after you have chosen the door, that you can change your guess, but to sweeten the deal, he says you can choose the two other doors, if you wish. This proposition is a no brainer, however before you are quick enough to accept it, the host opens one of the two doors and it is empty. In this version you really want to change your pick, but at the same time ask yourself is the host impartial and does that change anything. The host...

View full post »