Коммутативность - порядок операндов не влияет на результат операции. То есть, A ≡ B = B ≡ A.
Ассоциативность - порядок выполнения операций не влияет на результат операции. То есть, (A ≡ B) ≡ C = A ≡ (B ≡ C).
Идемпотентность - повторение операции не меняет результат. То есть, A ≡ A = A.
Нейтральный элемент - существует такой элемент, который не меняет результат операции при соединении с любым другим элементом. Для эквивалента таким элементом является истина (1). То есть, A ≡ 1 = A.
Поглощение - существует такой элемент, который даёт самого себя в результате операции при соединении с любым другим элементом. Для эквивалента таким элементом является ложь (0). То есть, A ≡ 0 = 0.
Самодвойственность - отрицание операции равносильно операции отрицаний. То есть, ¬(A ≡ B) = ¬A ≡ ¬B1
Таблица истинности - это таблица, которая описывает логическую функцию или операцию. В таблице истинности перечисляются все возможные комбинации значений логических переменных (аргументов функции) и соответствующие им значения логической функции (результата операции). Таблица истинности позволяет наглядно представить свойства и законы логики, а также проверить истинность или ложность сложных логических выражений. Например, таблица истинности для операции конъюнкции выглядит так: