F1 = «Если одно слагаемое делится на 3 и сумма делится на 3, то и другое слагаемое делится на 3»; F2 = «Если одно слагаемое делится на 3, а другое слагаемое не делится на 3, то сумма не делится на 3». Формализуйте эти высказывания, постройте таблицы истинности для каждого из полученных выражений и убедитесь, что результирующие столбцы совпадают.