Реферат по авиации и космонавтике: Числення висловлень і алгебра висловлень Основні проблеми числення висловлень