Логическое равносильно