Frazo 1: Se ni uzas alternantan maŝinon de Turing, ni havas la rimedon ATEMPO. Frazo 2: Kiam ni havas alternan Turing-maŝinon, ni uzas la rimedon ATEMPO. Demando: Ĉu frazo 1 kaj frazo 2 esprimas la saman signifon? Jes aŭ Ne?
Ne