this program is implemented in C++ and solves simples logic problem using the resolution method