6.1.1.2 Исчисление высказываний

Условие: Записать следующие утверждения в виде формул логики высказываний, построить таблицу истинности и определить общезначимость, выполнимость (невыполнимость) и число моделей полученных формул: «Если рабочие или администрация упорствуют, то забастовка будет урегулирована тогда и только тогда, когда правительство добьется судебного запрещения, но войска не будут посланы на завод».