Гл. 1.2.4: Логика | Выполнимость логических высказываний

В этой лекции я обсуждал: 0:28 Выполнимость пропозициональных утверждений 2:10 ПРИМЕР 9 Определите, является ли каждое из составных утверждений (p ∨ ¬q) ∧ (q ∨ ¬r) ∧ (r ∨ ¬p), (p ∨ q ∨ r) ∧ (¬p ∨ ¬q ∨ ¬r), (p ∨ ¬q) ∧ (q ∨ ¬r) ∧ (r ∨ ¬p) ∧ (p ∨ q ∨ r) ∧ (¬p ∨ ¬q ∨ ¬r) выполнимым. ---------------------------------------------------- Лекции по математике для GATE CS:    • Mathematics Lectures for GATE CSE by Monal...   ---------------------------------------------- Решения задач по общей подготовке к GATE (GA) от Monalisa:    • General Aptitude PYQ solved by Monalisa Pr...   ---------------------------------------------------------------- Лекции по алгоритмам:    • Algorithm Lectures for GATE CSE by Monalis...   Задания по алгоритмам GATE (прошлые вопросы):    • Algorithm GATE CS & DA PYQ(2010-2025) solv...   ---------------------------------------------------------------- Лекции по проектированию компиляторов:    • Ch 1.1:Language Processing System |CD Lect...   Задания по проектированию компиляторов:    • Ch 1.1:Language Processing System |CD Lect...   ---------------------------------------------------------------------- Лекции по теории вычислений    • Видео   TOC GATE PYQ:    • GATE CS 2010,Q39:Let L={w ∈ (0 + 1)* | w h...   ------------------------------------------------------------------- Лекция по структурам данных:    • Data Structure Syllabus for GATE   Data Structures PYQ:    • Data Structure Syllabus for GATE   ----------------------------------------------------------------------- #gate_cs #gate #maths #mathmatics #discretemathematicsgate #discrete_mathematics #discretemathematics #gate2024 #monalisacs #logic