1) Простые высказывания имеют одну логическую операцию, а составные представляют из себя соединение нескольких простых высказываний.
2) Вычислив их, при всех возможных вариантах значений переменных. Если значения будут одинаковыми, то формулы являются равносильными.
3) Законы: рефлексивности, коммутативности, ассоциативности, дистрибутивности, отрицания, де Моргана (избыточный сам по себе), поглощения.