Истинность составного высказывания. Программа запускается, если выполнены оба условия. Для каждого условия определи, запустится ли программа. Условие 1: «Файл существует, и неверно, что он повреждён». Дано: файл существует — истинно, файл повреждён — ложно. Программа запускается? Условие 2: «Неверно, что версия устарела или установлено обновление». Дано: версия устарела — истинно, обновление установлено — ложно. Программа запускается?

Условие 1. Файл существует — истина. Файл повреждён — ложь, значит, высказывание «неверно, что он повреждён» истинно. Оба высказывания в условии соединены союзом «и», поэтому всё условие истинно.

Ответ: да, программа запускается.

Условие 2. «Версия устарела» — истина, «обновление установлено» — ложь. Высказывание «версия устарела или установлено обновление» истинно, поскольку истинна хотя бы одна его часть. Следовательно, неверно это высказывание — ложь.

Ответ: нет, программа не запускается.