a) A statement is satisfiable if there is some interpretation for which it is false
b) A statement is satisfiable if there is some interpretation for which it is true
c) A statement is satisfiable if there is no interpretation for which it is true
d) A statement is satisfiable if there is no interpretation for which it is false
Answer: b
Explanation: ‘Satisfiable’ property is a statement is satisfiable if there is some interpretation for which it is true.
Related Posts
What is the output of the given code?
counter=1
if counter<=5
puts (counter)
counter=counter+1What is the output of the given code?
if(a==10 && b=9)
print “true”
else
print “false”
endWhich of the following are used for comparison?
What is the output of the given code?
a=10
b=9
if(a>b)
print (“a greater than b”)
else
print “Not greater”
endAssignment operator is also known as relational operator.
What is the output of the given code?
a=”string”
b=”strings”
if(a==b)
print (“a and b are same”)
else
print “Not same”
endWhat is the output of the given code?
test_1 = 17 > 16
puts(test_1)
test_2 = 21 <= 30
puts(test_2)
test_3 = 9 >= 9
puts(test_3)
test_4 = -11 > 4
puts(test_4)
Join The Discussion