1. Построить таблицу истинности для формулы логики высказываний. Указать является ли формула общезначимой
2. Следующие суждение преобразовать и представить в виде формулы
логики высказываний:
Если Иван не придёт, а Марья придёт, то Дарья придёт. Но Иван не пришёл, и Дарья не пришла. Следовательно, Марья тоже не пришла