Logic question

Old thread about (I think) the same question: