Логическая операция, ставящая в соответствие каждым двум простым (или исходным) высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания истинны называется ...

дизъюнкция
конъюнкция
алгебра логики
формализация
эквиваленция ​