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