Объяснение:
1 это или логическое сложение ( её обозначил как перевернатую ^)
^ это и логическое умножения
¬ это не отрицания
