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.
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.