Как называется закон алгебры логики, гласящий: "Высказывание может быть либо истинным, либо ложным, третьего не дано. Результат логического сложения высказывания и его отрицания принимает значение «истина»: A∨¬A=1"?