Контрольна робота з логіки