Алгебра логики информатика это. Алгебра логики отрицание эквивалентности. логические операции булевой алгебры. эквиваленция и импликация в логике. логика равносильность и эквивалентность.