The basic problem with computation is that identity among the inputs is not necessarily identity among the outputs, which explains why we often bring in bigger guns than Boolean logic.