Ликбез по алгебре логики для школьника, часть II. Знакомимся с логическими операциями импликация, эквиваленция, разделительная дизъюнкция
