Exactly true and non-falsity versions of Deutsch's logicдоклад на конференции