Импликация (следование) в C++? - Хабр Q&A Импликация и эквиваленция таблица истинности