Logic: Conditional Proof

array(19) { ["RO5alU6PpSU"]=> object(stdClass)#5257 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "RO5alU6PpSU" ["related_video_title"]=> string(161) "Введение в карты Карно — комбинационные логические схемы, функции и таблицы истинности" ["posted_time"]=> string(19) "6 лет назад" ["channelName"]=> NULL } ["UvBRZzL88-E"]=> object(stdClass)#5277 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "UvBRZzL88-E" ["related_video_title"]=> string(83) "Оборона прорвана / Войска остались без защиты" ["posted_time"]=> string(23) "6 часов назад" ["channelName"]=> NULL } ["_faWtzp9weQ"]=> object(stdClass)#5258 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "_faWtzp9weQ" ["related_video_title"]=> string(89) "физтех отжигает на псевдонаучке ФизФака МГУ Full HD" ["posted_time"]=> string(20) "13 лет назад" ["channelName"]=> NULL } ["7cQ5n9j5Guo"]=> object(stdClass)#5273 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "7cQ5n9j5Guo" ["related_video_title"]=> string(48) "Почему 0 в степени 0 равно 1?" ["posted_time"]=> string(19) "7 лет назад" ["channelName"]=> NULL } ["wjZofJX0v4M"]=> object(stdClass)#5259 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "wjZofJX0v4M" ["related_video_title"]=> string(148) "LLM и GPT - как работают большие языковые модели? Визуальное введение в трансформеры" ["posted_time"]=> string(19) "1 год назад" ["channelName"]=> NULL } ["yjKBuAm-Xvw"]=> object(stdClass)#5247 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "yjKBuAm-Xvw" ["related_video_title"]=> string(155) "Теория вычислений – Урок 9 – Университет Чукурова – Кафедра компьютерной инженерии" ["posted_time"]=> string(21) "2 года назад" ["channelName"]=> NULL } ["Tm2PJPvAULs"]=> object(stdClass)#5265 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "Tm2PJPvAULs" ["related_video_title"]=> string(89) "МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ - ДИСКРЕТНАЯ МАТЕМАТИКА" ["posted_time"]=> string(20) "10 лет назад" ["channelName"]=> NULL } ["vELBkxa-8EQ"]=> object(stdClass)#5267 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "vELBkxa-8EQ" ["related_video_title"]=> string(63) "Quiet Time with God: 1 Hour Instrumental Worship | Prayer Music" ["posted_time"]=> string(19) "1 год назад" ["channelName"]=> NULL } ["AVl3wK2yTEc"]=> object(stdClass)#5262 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "AVl3wK2yTEc" ["related_video_title"]=> string(91) "Пропозициональная логика: полный ускоренный курс" ["posted_time"]=> string(21) "3 года назад" ["channelName"]=> NULL } ["K-ZTzp2YbyA"]=> object(stdClass)#5280 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "K-ZTzp2YbyA" ["related_video_title"]=> string(181) "⚡Путин, ПОДЪЕМ! КОНЕЦ СВЕТА в Москве. Началась ЖУТЬ: дома РУХНУЛИ. РЕАКЦИЯ россиян рвет сеть. Лучшее" ["posted_time"]=> string(21) "4 часа назад" ["channelName"]=> NULL } ["PLDDGPdw7e6Ag1EIznZ-m-qXu4XX3A0cIz"]=> object(stdClass)#5264 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(34) "PLDDGPdw7e6Ag1EIznZ-m-qXu4XX3A0cIz" ["related_video_title"]=> string(82) "Discrete Math (Sets, Logic, Proofs, Relations, Counting, Number Theory, Functions)" ["posted_time"]=> string(0) "" ["channelName"]=> NULL } ["MTY1Kje0yLg"]=> object(stdClass)#5274 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "MTY1Kje0yLg" ["related_video_title"]=> string(45) "Визуализация гравитации" ["posted_time"]=> string(20) "13 лет назад" ["channelName"]=> NULL } ["jr2FfsctcQE"]=> object(stdClass)#5260 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "jr2FfsctcQE" ["related_video_title"]=> string(101) "Необычная Задача! Не Каждый Учитель Решит! А Вы Сможете?" ["posted_time"]=> string(19) "4 дня назад" ["channelName"]=> NULL } ["YRXFUzzUYnw"]=> object(stdClass)#5248 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "YRXFUzzUYnw" ["related_video_title"]=> string(102) "Как Учиться В 2 Раза Быстрее С Техникой Фейнмана (Пример)" ["posted_time"]=> string(19) "7 лет назад" ["channelName"]=> NULL } ["bYGWpM-O-Gw"]=> object(stdClass)#5249 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "bYGWpM-O-Gw" ["related_video_title"]=> string(16) "ПЕНАЛЬТИ" ["posted_time"]=> string(25) "3 недели назад" ["channelName"]=> NULL } ["aircAruvnKk"]=> object(stdClass)#5255 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "aircAruvnKk" ["related_video_title"]=> string(101) "Но что такое нейронная сеть? | Глава 1. Глубокое обучение" ["posted_time"]=> string(19) "8 лет назад" ["channelName"]=> NULL } ["Ye-N92ObhU4"]=> object(stdClass)#5256 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "Ye-N92ObhU4" ["related_video_title"]=> string(122) "Comedy Club: Голосовые от друга | Батрутдинов, Карибидис, Шкуро @ComedyClubRussia" ["posted_time"]=> string(21) "1 день назад" ["channelName"]=> NULL } ["lJdNvX8WTVs"]=> object(stdClass)#5254 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "lJdNvX8WTVs" ["related_video_title"]=> string(116) "Почему римский БЕТОН прослужит 2000 лет, а наш — умрёт через 50 лет" ["posted_time"]=> string(25) "2 недели назад" ["channelName"]=> NULL } ["Rhanu0SucIc"]=> object(stdClass)#5252 (5) { ["video_id"]=> int(9999999) ["related_video_id"]=> string(11) "Rhanu0SucIc" ["related_video_title"]=> string(0) "" ["posted_time"]=> string(19) "2 дня назад" ["channelName"]=> NULL } }