Как известно, все существующие логические функции обладают совершенной дизъюнктивной нормальной формой, а также совершенной конъюнктивной нормальной формой. Обозначаются они аббревиатурами сднф и скнф соответственно...

Продолжим рассмотрение раздела «Логика высказываний». Ознакомиться с основными понятиями этого раздела можно по ссылкам: https://zen.yandex.ru/media/id/603a418d1684900aa2499416/logika-vyskazyvanii-postroenie-tablic-istinnosti-6239460b8d70de4bf0b7ac3f В этой лекции будет представлен перечень различных законов логики высказываний, а также рассмотрена методика получения формул логики высказываний по заданной таблице истинности. В результате изучения этой лекции предполагается, что обучающийся ознакомится...