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

Нам всем знакомы понятия "логичный", "нелогичный", "истина", "ложь", "сомнение". Мы отлично знаем, что такое "одно ИЛИ другое", "одно И другое", "НЕ то". Мы используем эти понятия в нашей обычной повседневной жизни. Но не все догадываются, что тем самым мы занимаемся математикой и философией. Более того, математика и философия являются важнейшей основой таких современных информатики и вычислительной техники. Так что садясь за компьютер или беря в руки смартфон мы пользуемся и трудами философов древней...