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