Boolean algebra introduced ion USA