Какие основные законы логики используются при программировании логических схем?

Некоторые основные законы логики, которые используются при программировании логических схем:

• Закон тождества. multiurok.ru Утверждает, что мысль, заключённая в высказывании, остаётся неизменной на протяжении всего рассуждения, в котором это высказывание фигурирует. multiurok.ru
• Закон непротиворечия. multiurok.ru dl.my1.ru Высказывание не может быть одновременно истинным и ложным. multiurok.ru dl.my1.ru Если высказывание А — истинно, то его отрицание не А должно быть ложным. dl.my1.ru Следовательно, логическое произведение высказывания и его отрицания должно быть ложно. dl.my1.ru
• Закон исключённого третьего. dl.my1.ru Высказывание может быть либо истинным, либо ложным, третьего не дано. dl.my1.ru Это означает, что результат логического сложения высказывания и его отрицания всегда принимает значение истина. dl.my1.ru
• Закон двойного отрицания. dl.my1.ru Если дважды отрицать некоторое высказывание, то в результате получится исходное высказывание. dl.my1.ru