Даны высказывания: а – «Иван занимается в хоровом кружке», b – «Иван занимается в драматическом кружке». На языке логики высказываний утверждение «если Иван занимается в хоровом кружке, то он не занимается в драматическом кружке» записывается в виде …