Закон исключенного третьего.

Высказывание может быть либо истинным, либо ложным, третьего не дано. Это означа­ет, что результат логического сложения высказывания и его отрицания всегда принимает значение «истина»:

Закон двойного отрицания.

Если дважды отрицать неко­торое высказывание, то в результате мы получим исходное высказывание:

Законы де Моргана.

Важное значение для выполнения преобразований логи­ческих выражений имеют законы алгебраических преобра­зований. Многие из них имеют аналоги в обычной алгебре.

Не нашли, что искали? Воспользуйтесь поиском: