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

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