Logic representation of phylogenomic conflict