1. (a) Check the following formula for satisfiability using the Horn’s formula satisfiabili test. If you verify that the formula is satisfiable, then present a model for it. Justify b) Given the following reasoning: It is not true that: John bought a house, or If he bought a house then he had money. This implies that John didn’t have money. Translate the above reasoning into a propositional logic formula F. Check if F is formula. Note: Please use
OR
OR