Как называется закон алгебры логики, гласящий: "Высказывание не может быть одновременно истинным и ложным. Логическое произведение высказывания и его отрицания ложно: A∧¬A=0"?