Два логических выражения, содержащих переменные, называются равносильными (эквивалентными), если значения этих выражений не совпадают при любых значениях переменных:
Закон тождества - всякое высказывание тождественно самому себе ( А = А):
Приоритеты логических операций: отрицание, конъюнкция, дизъюнкция, следование:
