Գրեք սա: Logic and discrete mathematics :