Математична логіка є одним з розділів дисципліни «Дискретна математика», що відповідно до плану навчального процесу входить у цикл обов’язкових дисциплін для студентів галузі знань 12 - Інформаційні технології спеціальностей 122 - Комп'ютерні науки, 125 - Кібербезпека. Дані методичні вказівки призначені для практичних занять по темах «Рівносильні формули алгебри логіки» і «Досконалі нормальні форми логічних формул», розглянуто питання побудови досконалих диз'юнктивної й кон'юнктивной нормальних форм шляхом рівносильних перетворень логічних формул, а також з використанням таблиць істинності.
Mathematical logic is one of the sections of the discipline "Discrete Mathematics", which, according to the plan of the educational process, is included in the cycle of mandatory disciplines for students of the field of knowledge 12 - Information technologies of specialties 122 - Computer sciences, 125 - Cyber security. These methodological instructions are intended for practical classes on the topics "Equivalent formulas of the algebra of logic" and "Perfect normal forms of logical formulas", the issue of constructing perfect disjunctive and conjunctive normal forms by means of equivalent transformations of logical formulas, as well as using truth tables, is considered.
