Лекция 19. Полнота системы основных тождеств

  1. 00:10Продолжение вывода обобщённых тождеств
  2. 11:02Каноническая форма КС. Переход к канонической форме через ЭП
  3. 37:28ЭП эквивалентных КС