Solution of Assignment # T2951 (oncoming and reverse pass) Yandex Tutor of the Unified State Examination Informatics 2020

Original source

(x2=>x1)^(x3=>x2)^(x4=>x3)^(x5=>x4)=1
(x8=>(x6≡x7))^(x11=>(x9≡x10))^(x14=>(x12≡x13))=1
x2=>x8=1

Demonstration the technology of the oncoming and reverse passage 10.2019 on a simple example of Yandex # T2951 USE Informatics 2020

Решение Задания #T2951 (встречным и обратным проходом) Yandex Репетитор ЕГЭ Информатика 2020

Исходная система

https://yandex.ru/tutor/subject/problem/?problem_id=T2951

(x2=>x1)^(x3=>x2)^(x4=>x3)^(x5=>x4)=1
(x8=>(x6≡x7))^(x11=>(x9≡x10))^(x14=>(x12≡x13))=1
x2=>x8=1

Демонстрация техники встречного и обратного прохода 10.2019 на простом примере Yandex #T2951 ЕГЭ Информатика

Решение Задания #T2948,#T2949 (встречным проходом) Yandex Репетитор ЕГЭ Информатика 2020

Исходная система

 https://yandex.ru/tutor/subject/problem/?problem_id=T2948

 Демонстрация техники встречного прохода 10.2019 на простом примере Yandex #T2948 ЕГЭ Информатика

Исходная система

 https://yandex.ru/tutor/subject/problem/?problem_id=T2949

  Демонстрация техники встречного прохода 10.2019 на простом примере Yandex #T2949 ЕГЭ Информатика

Cross Reference Table Setup ( double predicates based ) and Solution of one standard assignment 23 of USE Informatics 2020

Original system per VK's News Wire Informatics_100

https://vk.com/doc201442577_528394217?hash=800896655a26dfa264&dl=b3b920ffa6ded30d68

First notice

The key place is a detailed description of building a cross-reference table 
when moving to a new line of the system. The chart generation is just a consequence.
First consider system
   (1) F1(x1,y1)=>F2(x2,y2) =1
   (2) F1(x2,y2)=>F2(x3,y3) =1
   (3) F1(x3,y3)=>F2(x4,y4) =1
   (4) F1(x4,y4)=>F2(x5,y5) =1
   (6) F1(x5,y5)=>F2(x6,y6) =1
   (7) F1(x6,y6)=>F2(x7,y7) =1

where F1 and F2 are double predicates
Denote card(N) the power of set N
Denote n1,n2,m1,m2,s1,s2
    n1=card (falseSet_F2 ∩ falseSet_F1)
    n2=card (falseSet_F2 ∩ truthSet_F1)
    m1=card (truthSet_F2 ∩ falseSet_F1)
    m2=card (truthSet_F2 ∩ truthSet_F1)
    s1=card (falseSet_F1)
    s2=card (truthSet_F1)
See Setting up a cross-reference table in 08/2016 approach of Helen Mironchick when moving to a new line of the system of Boolean equations 
for more details  Then following 10.2019 diagram would show

   Now fork 10.2019 chart
  

Решение Задания #T2947 Yandex Репетитор ЕГЭ Информатика 2020

Исходная система

https://yandex.ru/tutor/subject/problem/?problem_id=T2947

Демонстрация техники Метода Отображения версия 10.2019 на простом примере Yandex #T2947 ЕГЭ Информатика

 Собственно, все #T2949,#T2950,#T2951 решаются корректировкой узлов 2-го графа и удалением ложных решений. В терминологии Бориса Трушина - это задачи ни о чем.

Solution of Assignment #T9302 Yandex Tutor of the Unified State Examination Informatics 2020

Original system

https://yandex.ru/tutor/subject/problem/?problem_id=T9302
We solve the system obtaining the values ​​x3 and y4 by a counter passage to the center following the technique

https://vk.com/doc6125348_532065916?hash=35f707cd85ea4916b4&dl=cff7c616750b78af60

Demonstration of the effectiveness of the oncoming passage
using a simple example Yandex #T9302 USE Informatics

Решение Задания #T9302 Yandex Репетитор ЕГЭ Информатика 2020

Исходная система 

https://yandex.ru/tutor/subject/problem/?problem_id=T9302

Решим систему, получив значения х3 и у4 встречным проходом к центру и используем технику диаграмм  
https://vk.com/doc6125348_532065916?hash=35f707cd85ea4916b4&dl=cff7c616750b78af60

Демонстрация эффективности встречного прохода на простом примере Yandex #T9302 ЕГЭ Информатика