Предмет логики, логический предмет
Образован двумя переменными, "которые могут принимать только два значения: 0 и 1". (Г.И.Пухальский). Имеется также "отрицание (инверсия, операция НЕ), обозначаемое чертой над переменными или элементами 0 и 1". 

В прежней записи "О субъекте, активности и объекте" разрослись комментарии и требуется сконцентрировать смысл. Кроме того появилась потребность выделить активность как аксиоматический посыл.