Logic

На днях проходил мимо такого объявления:


Интуитивно чувствуется, что связка & там уместна, и последнее утверждение как бы нейтрализует предыдущие ложные утверждения и преврещает всю формулу в истину. Но вот как бы ее записать на языке формальной логики? И какого порядка это логика?