Короче говоря, давно уже пора было закончить с этим упражнением и перейти к упражнениям более связанным с собственно матлогикой.
Так я, собственно говоря, это и делаю. Вчера закончил с доказательством выполнимости/опровержимости формул без составления таблиц истинности, сегодня перешел к тавтологиям, так что все нормально, процесс идет, а это продолжение темы, чтобы уточнить уже пройденный материал. Я так думаю, уже пора сказать всем спасибо за обсуждение темы. Нет, ну если у кого какие мысли еще возникнут, так, пожалуйста, напишите про них.