Если скобки проставлены верно, то выражение тождественно истинное (всегда равно True). Действительно, если рассчитать выражение в последней скобке, то получим:
a·c или 1·(-5)<0</strong> то есть получим выражение -5<0</strong>, что дает истинное выражение в последней скобке. Выражения в первой и второй скобках объединены операцией - V - "дизъюнкция", или "логическое сложение". Из теории логики известно, что результатом дизъюнкции будет False только в одном случае, если оба аргумента операции равны False. В остальных случаях получится всегда True.
Так как у нас выражение во второй скобке True, то и всё выражение тоже равно True. При этом не имеет значения, какое выражение получится в первой скобке.