Question

A very special island is inhabitated by knights and knaves. Knights always tell the truth and knaves always lie. You meet three people X,Y,Z. X tells you that Y is a knave. Y tells you that its false and Z is a knave. Z claims "I'm knight or X is a knight. Use resolution proof to find out who is a knight or knave. Also give the knowledge base for this.

Answer 1

We know that knight : who always tell the tuth who always e knave : We frave following atotemente X tells yoel that y s a knave 4 tells you that it is falee and Z is Knove z claime * gm knight or x ůs a knight 9f we consideu y ů knight then accoudling to Knave and then accouling to z, x is knight. 96 X is knight then út aluoays Jall Jourth aso, y us Knave which so, this claim s feiled Of we concider that z ů knight then 4 s knave (occording to statement of V). If Y & knave then x u knght becaule x tells an this caue Y, ů contradition to oue oupposiiên . that Y is knave knight and 4 us knove Of we confder that x i knight ,then Y ús knave as since y ů knave so ut Tell X and z aHe we have x bells that Y us knave ee eso, ă ůs knght So,Jwe have x and z aue knight and y us knove from all the cases, we concllede that x and * asie Knight Y u knave