1. Формализуйте и постройте таблицу истинности для высказываний:
a) если три стороны одного треугольника равны трем сторонам другого треугольника, то эти треугольники равны;
b) если мощность бесконечного множества больше, чем мощность счетного множества, то это множество является несчетным;
с) если 10 делится на 5, то и 100 делится на 5.
2. Переформулируйте высказывания, если необходимо. Разбейте составные высказывания на простые и запишите их с помощью логической символики. Постройте таблицу истинности.
«Если знать язык программирования, то можно составить рабочую программу. Рабочую программу можно также получить при условии наличия знакомого программиста. Овладеть языком программирования можно, обучаясь в институте. Если программа работает, то ее написал выпускник такого института. Но программа не работает. Это говорит о том, что желающий получить правильный результат не знает языка программирования и не имеет знакомых программистов».