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