Законы логики позволяют упрощать логические уравнения, делая их не такими большими и более решаемыми. Их не так уж и мало: от самых простых и очевидных до достаточно хитрых; от тех, которые встречаются очень часто до довольно редких. Не обязательно знать все наизусть — часть из них действительно проста и похожа на правила математики начальной школы. Про остальные стоит помнить: если увидите очень большое логическое уравнение, высока вероятность того, что эти законы помогут его сократить. Попробуем упростить исходное выражение: ¬(¬А ∧ ¬В) ∨ В ∧ С 1...

Памятка «Основы формальной логики в информатике» содержит необходимый минимум информации для учеников 8 класса, которая понадобится им при изучении элементов алгебры логики. Она содержит основные определения и законы по теме. Тема «Элементы алгебры логики» является одной из наиболее сложных для учеников при изучении всего школьного курса информатики. Она тяжело воспринимается учениками отчасти потому, что содержит большое количество теоретического материала, который сложно воспринимается и запоминается...