Логическая операция, результат которой истинен тогда и только тогда, когда истинно, по крайней мере, одно из исходных высказываний, называется