--- Quote Start ---
A B C F(A,B,C)
0 0 0 0
0 0 1 1
0 1 0 1
0 1 1 1
1 0 0 1
1 0 1 0
1 1 0 0
1 1 1 1
--- Quote End ---
An alternative option is to use a function call. Your inputs ABC are the index into an 8 entry table, so ...
function lookup(A, B, C : std_logic) return std_logic is
constant K : std_logic_vector(0 to 7) := "01111001";
begin
return K(to_integer(unsigned(A & B & C)));
end function;
or something close to that anyway (I just typed the code into the forum editor).
If A, B, C and K are multi-bit signals, then your process can loop over them, or you can re-code the function to use vector arguments, or create a function that calls this function.
Cheers,
Dave