逻辑电路 OR 门演示

GeoGebra 命令及参数

1. Segment(B_0, If[w1, B_1, C_4]) → l_1
2. Midpoint(A_4, A_5) → L
3. Segment(C_0, If[w2, C_1, C_3]) → l_2
4. Circle(L, 0.5) → c
5. Segment(L - (sqrt(2) / 4, sqrt(2) / 4), L + (sqrt(2) / 4, sqrt(2) / 4)) → k_1
6. Segment(L - (sqrt(2) / 4, (-sqrt(2)) / 4), L + (sqrt(2) / 4, (-sqrt(2)) / 4)) → k_2
7. Segment(A_3, A_2) → d
8. Segment(A_4, A_5) → f
9. Segment(A_5, G) → g
10. Segment(A_2, A_1) → h
11. Circle(L, 0.5) → c_2
12. Segment(H_1, H_2) → h_1
13. Segment(G_1, G_2) → h_2
14. Segment(A_6, A_3) → b
15. Segment(A_7, A_9) → i
16. Segment(A_7, B_0) → j
17. Segment(A_9, C_0) → k
18. Segment(B_1, A_8) → a
19. Segment(C_1, A_{10}) → e
20. Midpoint(A_8, A_{10}) → A_{11}
21. Segment(A_8, A_{10}) → l
22. Segment(A_{11}, A_4) → m
23. TableText({{LaTeX["S_1"], LaTeX["S_2"], LaTeX[Element[lampLit, n]]}, {LaTeX[If[w1 ∧ w2, "\mathbf", ""] + (Element[einList, n])], LaTeX[If[w1 ∧ w2, "\mathbf", ""] + (Element[einList, n])], LaTeX[If[w1 ∧ w2, "\mathbf", ""] + (Element[jaList, n])]}, {LaTeX[If[w1 ∧ (¬w2), "\mathbf", ""] + (Element[einList, n])], LaTeX[If[w1 ∧ (¬w2), "\mathbf", ""] + (Element[ausList, n])], LaTeX[If[w1 ∧ (¬w2), "\mathbf", ""] + (Element[jaList, n])]}, {LaTeX[If[(¬w1) ∧ w2, "\mathbf", ""] + (Element[ausList, n])], LaTeX[If[(¬w1) ∧ w2, "\mathbf", ""] + (Element[einList, n])], LaTeX[If[(¬w1) ∧ w2, "\mathbf", ""] + (Element[jaList, n])]}, {LaTeX[If[(¬w1) ∧ (¬w2), "\mathbf", ""] + (Element[ausList, n])], LaTeX[If[(¬w1) ∧ (¬w2), "\mathbf", ""] + (Element[ausList, n])], LaTeX[If[(¬w1) ∧ (¬w2), "\mathbf", ""] + (Element[neinList, n])]}}, "|_c") → text1
24. Element(truthTable, n) → text3