show i need to show from some given sentences that (-A&-b) is concluded from them using a DPLL algorithm
i approached the problem like i would approach a resolut
