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