Известно, что любая логическая формула может быть выражена через три ранее рассмотренные логические операции, однако на практике часто используют еще две логические связки. ... Тогда логической формулой этого сложного высказывания будет импликация: A B. Другой распространенной операцией является эквивалентность . ... Тогда логическая формула сложного высказывания запишется в виде A B. Приведем таблицу истинности, задающую операции импликации и эквивалентности: . ...