Смотреть видео: Алгебра предикатов. Определения. Операции над предикатами.