Таблица Логических Функций и Суждений:

A        0000    |    x ⊥ y    |    FALSE    |    Атрибутивнопроблематичное Частноотрицательное Суждение

B        0001    |    x ∧ y    |    AND    |    Атрибутивнопроблематичное Частноутвердительное Суждение