Логічні твердження

У цій темі ми працюємо з логічними виразами з формальним позначенням (наприклад, A або B), при цьому деякі логічні сполучення позначаються англійськими словами (and, or, not). Ця нотація поширена в інформатиці і використовується, наприклад, у багатьох мовах програмування. Розбиваємо тему на наступні підтеми:

• Логічні сполучники та таблиці істинності –значення окремих логічних сполучників, перепис із загальномовної на інформаційну нотацію (and, or, not, xor, ⇒, ⇔)
• Оцінювання логічних виразів – оцінка складених виразів, що поєднують декілька логічних сполучників
• Редагування логічних виразів – переписування до еквівалентного виразу (який виглядає інакше, але завжди має однакове значення істинності)

Ви також можете практикувати роботу з логічними твердженнями в різних нотаціях:

• Логічні твердження словами – висловлювання звичайною мовою
• Логіка на Знаємо математику – робота з висловлюваннями у математичній нотації (∧,∨,¬)
• Логічні вирази в Python – робота з логічними виразами в контексті програмування