АЗ
Анна Зеленцова
мат. логика. избавление от импликации
, представить формулу в
базисах (Ø, &) и (Ø, Ú)
A->B
как избавиться от импликации, чтобы получилась конъюнкция? с дизъюнкцией всё понятно и легко.
-AvB
может, просто отрицание перед всем выражением поставить, чтобы знак поменялся?
-(-AvB)=A&-B
базисах (-, &) и (-, v)