Анализируется понятие взаимодействия в контексте модели эксперимента с двумя бинарными факторами и бинарным откликом (бинарный эксперимент). Разрабатывается математическая модель, использующая концепцию достаточных причин для двух бинарных факторов. Проведена формализация бинарного эксперимента в терминах теории булевых функций. Выделены аксиомы симметрий понятия взаимодействия в бинарном эксперименте, которые порождают группу автоморфизмов свободной булевой алгебры этого эксперимента. Представлена полная классификация типов взаимодействия двух бинарных факторов, а также приведена их геометрическая интерпретация.