Ответы на вопрос:
Begin var s: =readstring(); if s.length=4 then write(strtoint(s[1])+strtoint(s[2])+strtoint(s[3])+strtoint(s[4])); end.
¬ (A v B ) /\ ¬ C =(раскроем скобки по закону де-Моргана)=
= ¬A /\ ¬B /\ ¬ C =(доказательство этого перехода - через таблицу истинности)= ¬(A v B v C)
Доказательство последнего равенства:
1) ¬A /\ ¬B /\ ¬ C
А B C F
0 0 0 1
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 0
2) ¬(A v B v C)
А B C F
0 0 0 1
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 0
Так как таблицы истинности совпали, последний переход равносилен.
ответ: ¬(A v B v C)
Популярно: Информатика
-
Rayanachechenka23.02.2020 04:46
-
малина10619.07.2020 09:05
-
beaka98811.02.2020 22:46
-
ангелОк251207.06.2023 21:24
-
ronaldopenzap016aa30.08.2020 01:18
-
TretyakovaUlyana30.12.2022 11:36
-
Света123456788028.12.2021 18:43
-
padafet250406.01.2022 02:08
-
пир1424.07.2020 14:00
-
Marysilly12.03.2020 16:04