Easy, right? You can do it with ceiling(log2n) bicliques, by assigning distinct binary numbers to the n vertices and making a biclique for each bit position of these numbers, where the vertices having a 0 in the given position go on one side of the biclique and the vertices having a 1 in that position go on the other side. And conversely, if you have a biclique cover, you might as well include each vertex in each biclique, and you can assign binary labels to the vertices according to which side of each biclique they belong to, so every solution must have this form. In terms of adjacency matrices, it looks something like this:
Ok, now time for the second question. Instead of covering a complete graph, let's cover a different graph Gn, in the form of a bipartite graph Kn,n minus a perfect matching. Since Gn is bipartite, we might as well describe it with a simplified adjacency matrix in which one side of the bipartition indexes the rows and the other side indexes the columns. But this simplified adjacency matrix for Gn is identical to the adjacency matrix of the clique Kn that we started with, zero on the main diagonal and all ones elsewhere! We're just interpreting it differently. In this interpretation, the bicliques we're covering G with can only cover half as many of the ones in the adjacency matrix as they could when we were covering a complete graph. So we need twice as many bicliques, right?
Here's an example, expressed in terms of adjacency matrices, of a biclique cover of G6.
This turns out to be the biggest graph Gn that can be covered by only four bicliques. It may not be obvious from the matrices above, but there's a simple way of describing this cover: let the rows and columns of the matrix both be indexed by the edges of a complete graph K4, and make a biclique for each vertex v of the K4, having on one side the edges incident to v and on the other side the edges not incident to v. Each 1 in the matrix corresponds to an ordered pair of unequal edges of the K4, and for each such pair there is a vertex that is an endpoint of the first edge of the pair and not an endpoint of the second edge, so all 1's are covered.
The construction generalizes: index the rows and columns of an adjacency matrix for Gn by the subsets of k/2 out of k items, and form a biclique for each item that has on one side the subsets not containing that item and on the other side the subsets containing that item. In this way, we can cover Gn by k bicliques whenever
This turns out to be optimal. For any cover of Gn by a family of k bicliques, and for each of the n columns of the adjacency matrix, there must be a minimal subfamily of the bicliques that covers all but that column. These minimal subfamilies form an antichain in the powerset of the bicliques, so by Sperner's theorem
Asymptotically, k = log2n(1+o(1)), the same leading term as for covering a clique by bicliques.