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