Logical Matrix Problems