Алгебра высказываний была разработана для того чтобы определять Как можно заменить импликацию