Five independent sensors measure th

Five independent sensors measure the temperature T of a furnace. Each sensor checks if T is greater than 1000°C. Some sensors may be faulty, but it is not known which are faulty. The nonfaulty sensors have to agree about the truth of the predicate T > 1000°C (so that the next course of action can be decided).

Результаты (русский) 1:

Пять независимых датчиков измерения температуры Т печи. Каждый датчик проверяет, является ли T больше, чем 1000° с. Некоторые датчики могут быть неисправен, но не известно, что неисправен. Nonfaulty датчики должны договориться об истинности предиката T > 1000° C (так что следующий курс действий может быть решен).

Результаты (русский) 2:

Пять независимых датчиков измеряют температуру Т печи. Каждый из них проверяет датчик, если Т превышает 1000 ° C. Некоторые датчики могут быть неисправны, но это не известно, какие неисправны. В nonfaulty датчики должны договориться об истинности предиката Т> 1000 ° С (так, что следующий ход действий может быть решен).