Given a system of linear inequalities represented by matrix A and vector b, either there exists a vector x that satisfies all the inequalities or there exists a vector y such that y is a non-negative linear combination of the rows of A and y is orthogonal to b.
This video is perhaps the most lucid explanation of Farkas lemma I know.