If I understand correctly this task hasn't been solved yet?
Looks like some graph flow problem, but I can't get the restrictions right - that only one of Q and !Q is true, while there are several statements containing Q and !Q which should be satisfied.
Another observation is that implication is wrong only when first element is true and second false. So maybe we can look for flow in a graph where we assign questions in True and False sets and we have some restrictions on which elements can't be in True set at the same time.
Anyone got some further/better ideas? :)
Looks like some graph flow problem, but I can't get the restrictions right - that only one of Q and !Q is true, while there are several statements containing Q and !Q which should be satisfied.
Another observation is that implication is wrong only when first element is true and second false. So maybe we can look for flow in a graph where we assign questions in True and False sets and we have some restrictions on which elements can't be in True set at the same time.
Anyone got some further/better ideas? :)