778 views

1 Answer

Best answer
6 votes
6 votes

A + B, is satisfiable when either A or B is 1. But not tautology. as both A and B can 0.

A tautology means any assignment to variables produces a 1. So, it is trivially satisfiable.

A contradiction means any assignment ot variables produces a 0. So, it can never be satisfied.

Coming to B option, it says Every satisfiable formula is not tautology. This is wrong as valid formula is both satisfiable as well as tautology. If we change "every" to "some", B option becomes correct. Actually this sentence is not grammatically correct and can also be interpreted as "Every satisfiable formula is not a tautology" meaning some satsfiable formula is not tautology. In this case B option becomes TRUE. 

selected by

Related questions

1 votes
1 votes
1 answer
2