Доказать равносильность следующих формул с помощью таблиц истинности
(не А или не В) и С ≡ не((А и В) или не С)
А →В ≡(А и В)или (не А и В) или (не А и не В)
Логические выражения, у которых последние столбцы таблиц истинности совпадают, называются равносильными.
