|
02.12.2015, 17:57
|
#1 |
|
Новичок
Регистрация: 02.12.2015
Сообщений: 2
Сказал спасибо: 0
Поблагодарили 0 раз(а) в 0 сообщениях
|
матлогика
помогите пожалуйста сделать:Доказать, что для любой формулы существует эквивалентная ей формула с тесными отрицаниями, т.е. формула, в которой нет символа → и отрицания относятся только к пропозициональным переменным.
|
|
|
Линейный вид
