I have some problem in Boolean Reasoning:the general scheme of applying Boolean reasoning to solve a problem P,following the presentation of Brown , can be formulated as follows: 1. Encode the problem P as a system of simultaneously-asserted Boolean equations. 2. Reduce the equation system to a single Boolean equation . 3. Compute BCF, the prime implicants of fP. 4. Solutions to P are obtained by interpreting the prime implicants of fP. What they really mean?Thanks in advance.