В чем заключается метод устранения двойного отрицания в логических выражениях?

Метод устранения двойного отрицания в логических выражениях заключается в замене каждой части формулы, имеющей вид ¬ . . . ¬F, где F — произвольная формула, с помощью эквивалентности. repo.ssau.ru

Это происходит с помощью закона двойного отрицания, который означает, что операция «НЕ» обратима: если применить её два раза, логическое значение не изменится. sites.google.com www.homework.ru