rewaQ
А : B * C * D * E * F == 1
B : A == 0
C : A * B == 1
D : XOR (A B C) == 1
E = 0 (по моему доказательству https://fanfics.me/message_comment3747355 )
F = 0 (по моему доказательству https://fanfics.me/message_comment3747355)