Գրեք սա: Automated reasoning :