MathProblemsBank

6.1.1.2 Propositional calculus

Problem: Write the following statements in the form of propositional logic formulas, build a truth table and determine the validity, satisfiability (nonsatisfiability) and the number of models of the obtained formulas: "If the workers or the administration persist, the strike will be settled when and only when the government gets an injunction, but no troops are sent to the factory."