Лекция 14. Функционально полные системы связок

  1. 00:16Вводное слово
  2. 02:04Связь отношений между формулами классической логики высказываний с понятиями тождественно-истинной, выполнимой и опровержимой формул
  3. 09:08Функциональная полнота системы связок
  4. 37:15Метатеорема о функциональной полноте системы связок
  5. 58:45Пример