использовать Черепаха
алг
нач
вперед (60)
влево (65)
вперед (43)
вправо (20)
вперед (28)
вправо (45)
вправо (90)
вперед (20)
влево (90)
вправо (65)
вперед (27)
вперед (40)
влево (180)
влево (45)
вперед (26)
вперед (45)
влево (155)
вперед (39)
поднять хвост
вперед (100)
опустить хвост
вперед (4)
вперед (6)
кон
Объяснение:
Смотри картинку
A B С B∧A A→B∧A A→B∧A→C A→B∧A→C→C
0 0 0 0 1 0 1
0 0 1 0 1 1 1
0 1 0 0 1 0 1
0 1 1 0 1 1 1
1 0 0 0 0 1 0
1 0 1 0 0 1 1
1 1 0 1 1 0 1
1 1 1 1 1 1 1
Упрощение:
(A→B∧A→C)→C = ((¬A∨B)→C)→C = (C∨A¬B)→C=¬ A∨C∨ B
использовать Черепаха
алг
нач
вперед (60)
влево (65)
вперед (43)
вправо (20)
вперед (28)
вправо (45)
вперед (60)
вправо (90)
вперед (20)
вправо (90)
вперед (60)
влево (90)
вперед (20)
влево (65)
вперед (43)
вправо (65)
вперед (20)
вправо (45)
вперед (27)
вправо (45)
вперед (40)
вправо (45)
вперед (27)
влево (180)
вперед (27)
влево (45)
вперед (40)
вправо (90)
вперед (60)
вправо (45)
вперед (26)
вправо (20)
вперед (45)
влево (180)
вперед (45)
влево (155)
вперед (40)
вправо (45)
вперед (27)
влево (45)
вперед (40)
вправо (90)
вперед (39)
вправо (90)
вперед (40)
влево (90)
вперед (20)
влево (90)
вперед (40)
вправо (90)
вперед (39)
поднять хвост
вправо (90)
вперед (100)
опустить хвост
влево (45)
вперед (4)
влево (90)
вперед (4)
влево (90)
вперед (6)
влево (90)
вперед (4)
поднять хвост
кон
Объяснение:
Смотри картинку
Объяснение:
A B С B∧A A→B∧A A→B∧A→C A→B∧A→C→C
0 0 0 0 1 0 1
0 0 1 0 1 1 1
0 1 0 0 1 0 1
0 1 1 0 1 1 1
1 0 0 0 0 1 0
1 0 1 0 0 1 1
1 1 0 1 1 0 1
1 1 1 1 1 1 1
Упрощение:
(A→B∧A→C)→C = ((¬A∨B)→C)→C = (C∨A¬B)→C=¬ A∨C∨ B