Graph, clique and facet of boolean logical polytope