Контрольная построение таблиц истинности