Consider the following logic functions,

Show that,

\[f_1(A, B) + f_3(A, B) + f_4(A, B)\]

is equivalent to logical implication $A \Rightarrow B$.

Comments