{"type":"excalidraw","version":2,"elements":[{"id":"sa0LP3Rk","type":"rectangle","x":0,"y":160,"width":110,"height":160,"angle":0,"strokeColor":"#495057","backgroundColor":"#f1f3f5","fillStyle":"solid","strokeWidth":2,"strokeStyle":"solid","roughness":0,"opacity":100,"groupIds":[],"frameId":null,"index":"a0","roundness":null,"seed":241145534,"version":3,"versionNonce":110851531,"boundElements":[{"type":"text","id":"uyoRTxlZ"}],"locked":false,"isDeleted":false},{"id":"qEeseeVL","type":"rectangle","x":180,"y":90,"width":250,"height":110,"angle":0,"strokeColor":"#1971c2","backgroundColor":"#d0ebff","fillStyle":"solid","strokeWidth":2,"strokeStyle":"solid","roughness":0,"opacity":100,"groupIds":[],"frameId":null,"index":"a1","roundness":null,"seed":974699554,"version":3,"versionNonce":777027634,"boundElements":[{"type":"text","id":"wAQqHaWy"}],"locked":false,"isDeleted":false},{"id":"KUYoRNoG","type":"rectangle","x":180,"y":280,"width":250,"height":110,"angle":0,"strokeColor":"#2f9e44","backgroundColor":"#d3f9d8","fillStyle":"solid","strokeWidth":2,"strokeStyle":"solid","roughness":0,"opacity":100,"groupIds":[],"frameId":null,"index":"a2","roundness":null,"seed":502927102,"version":3,"versionNonce":652134211,"boundElements":[{"type":"text","id":"aqqG7Lvz"}],"locked":false,"isDeleted":false},{"id":"ZuP2ufYh","type":"arrow","x":110,"y":220,"width":70,"height":75,"angle":0,"strokeColor":"#1e1e1e","backgroundColor":"transparent","fillStyle":"solid","strokeWidth":2,"strokeStyle":"solid","roughness":0,"opacity":100,"groupIds":[],"frameId":null,"index":"a3","roundness":null,"seed":1638983650,"version":3,"versionNonce":666105958,"boundElements":null,"locked":false,"points":[[0,0],[70,-75]],"startBinding":null,"endBinding":null,"startArrowhead":null,"endArrowhead":"arrow","elbowed":false,"isDeleted":false},{"id":"nQHKzTgj","type":"arrow","x":110,"y":260,"width":70,"height":75,"angle":0,"strokeColor":"#1e1e1e","backgroundColor":"transparent","fillStyle":"solid","strokeWidth":2,"strokeStyle":"solid","roughness":0,"opacity":100,"groupIds":[],"frameId":null,"index":"a4","roundness":null,"seed":2082176830,"version":3,"versionNonce":935670745,"boundElements":null,"locked":false,"points":[[0,0],[70,75]],"startBinding":null,"endBinding":null,"startArrowhead":null,"endArrowhead":"arrow","elbowed":false,"isDeleted":false},{"id":"RTE2RRNm","type":"arrow","x":430,"y":145,"width":110,"height":55,"angle":0,"strokeColor":"#1e1e1e","backgroundColor":"transparent","fillStyle":"solid","strokeWidth":2,"strokeStyle":"solid","roughness":0,"opacity":100,"groupIds":[],"frameId":null,"index":"a5","roundness":null,"seed":80583586,"version":3,"versionNonce":116198086,"boundElements":null,"locked":false,"points":[[0,0],[110,0],[110,55]],"startBinding":null,"endBinding":null,"startArrowhead":null,"endArrowhead":"arrow","elbowed":false,"isDeleted":false},{"id":"l5L6fg8Y","type":"text","x":460.49462890625,"y":109.65,"width":19.0107421875,"height":20.7,"angle":0,"strokeColor":"#1971c2","backgroundColor":"transparent","fillStyle":"solid","strokeWidth":2,"strokeStyle":"solid","roughness":1,"opacity":100,"groupIds":[],"frameId":null,"index":"a6","roundness":null,"seed":757393278,"version":3,"versionNonce":348808704,"boundElements":null,"locked":false,"text":"y1","fontSize":18,"fontFamily":2,"textAlign":"center","verticalAlign":"middle","containerId":null,"originalText":"y1","autoResize":true,"lineHeight":1.15,"isDeleted":false},{"id":"F0fiVVER","type":"arrow","x":430,"y":335,"width":110,"height":55,"angle":0,"strokeColor":"#1e1e1e","backgroundColor":"transparent","fillStyle":"solid","strokeWidth":2,"strokeStyle":"solid","roughness":0,"opacity":100,"groupIds":[],"frameId":null,"index":"a7","roundness":null,"seed":1369298786,"version":3,"versionNonce":462627589,"boundElements":null,"locked":false,"points":[[0,0],[110,0],[110,-55]],"startBinding":null,"endBinding":null,"startArrowhead":null,"endArrowhead":"arrow","elbowed":false,"isDeleted":false},{"id":"8rACS4Zf","type":"text","x":460.49462890625,"y":349.65,"width":19.0107421875,"height":20.7,"angle":0,"strokeColor":"#2f9e44","backgroundColor":"transparent","fillStyle":"solid","strokeWidth":2,"strokeStyle":"solid","roughness":1,"opacity":100,"groupIds":[],"frameId":null,"index":"a8","roundness":null,"seed":22497214,"version":3,"versionNonce":596502054,"boundElements":null,"locked":false,"text":"y2","fontSize":18,"fontFamily":2,"textAlign":"center","verticalAlign":"middle","containerId":null,"originalText":"y2","autoResize":true,"lineHeight":1.15,"isDeleted":false},{"id":"gSH28qI8","type":"ellipse","x":500,"y":200,"width":80,"height":80,"angle":0,"strokeColor":"#f08c00","backgroundColor":"#fff4e6","fillStyle":"solid","strokeWidth":3,"strokeStyle":"solid","roughness":0,"opacity":100,"groupIds":[],"frameId":null,"index":"a9","roundness":null,"seed":1483774754,"version":3,"versionNonce":660308861,"boundElements":[{"type":"text","id":"3p2Qxk8U"}],"locked":false,"isDeleted":false},{"id":"9EkAESGz","type":"text","x":576.757080078125,"y":310.225,"width":86.48583984375,"height":19.549999999999997,"angle":0,"strokeColor":"#f08c00","backgroundColor":"transparent","fillStyle":"solid","strokeWidth":2,"strokeStyle":"solid","roughness":1,"opacity":100,"groupIds":[],"frameId":null,"index":"aA","roundness":null,"seed":416522238,"version":3,"versionNonce":965743395,"boundElements":null,"locked":false,"text":"d = y1 ⊕ y2","fontSize":17,"fontFamily":2,"textAlign":"center","verticalAlign":"middle","containerId":null,"originalText":"d = y1 ⊕ y2","autoResize":true,"lineHeight":1.15,"isDeleted":false},{"id":"ZjBWrIBq","type":"rectangle","x":660,"y":210,"width":100,"height":60,"angle":0,"strokeColor":"#f08c00","backgroundColor":"#fff4e6","fillStyle":"solid","strokeWidth":3,"strokeStyle":"solid","roughness":0,"opacity":100,"groupIds":[],"frameId":null,"index":"aB","roundness":null,"seed":1203037922,"version":3,"versionNonce":111014130,"boundElements":[{"type":"text","id":"EhUirVPE"}],"locked":false,"isDeleted":false},{"id":"pppNOIA8","type":"arrow","x":580,"y":240,"width":80,"height":0,"angle":0,"strokeColor":"#1e1e1e","backgroundColor":"transparent","fillStyle":"solid","strokeWidth":2,"strokeStyle":"solid","roughness":0,"opacity":100,"groupIds":[],"frameId":null,"index":"aC","roundness":null,"seed":1738207294,"version":3,"versionNonce":370127954,"boundElements":null,"locked":false,"points":[[0,0],[80,0]],"startBinding":null,"endBinding":null,"startArrowhead":null,"endArrowhead":"arrow","elbowed":false,"isDeleted":false},{"id":"uECDbIlz","type":"arrow","x":760,"y":240,"width":80,"height":0,"angle":0,"strokeColor":"#1e1e1e","backgroundColor":"transparent","fillStyle":"solid","strokeWidth":2,"strokeStyle":"solid","roughness":0,"opacity":100,"groupIds":[],"frameId":null,"index":"aD","roundness":null,"seed":670677666,"version":3,"versionNonce":216370128,"boundElements":null,"locked":false,"points":[[0,0],[80,0]],"startBinding":null,"endBinding":null,"startArrowhead":null,"endArrowhead":"arrow","elbowed":false,"isDeleted":false},{"id":"PjzAhQ0C","type":"text","x":820.8369140625,"y":197.35,"width":18.326171875,"height":25.299999999999997,"angle":0,"strokeColor":"#1e1e1e","backgroundColor":"transparent","fillStyle":"solid","strokeWidth":2,"strokeStyle":"solid","roughness":1,"opacity":100,"groupIds":[],"frameId":null,"index":"aE","roundness":null,"seed":965621886,"version":3,"versionNonce":538322942,"boundElements":null,"locked":false,"text":"M","fontSize":22,"fontFamily":2,"textAlign":"center","verticalAlign":"middle","containerId":null,"originalText":"M","autoResize":true,"lineHeight":1.15,"isDeleted":false},{"id":"uyoRTxlZ","type":"text","x":27.763671875,"y":228.5,"width":54.47265625,"height":23,"angle":0,"strokeColor":"#495057","backgroundColor":"transparent","fillStyle":"solid","strokeWidth":2,"strokeStyle":"solid","roughness":1,"opacity":100,"groupIds":[],"frameId":null,"index":"aF","roundness":null,"seed":1401427042,"version":4,"versionNonce":4822091,"boundElements":null,"locked":false,"text":"a, b, c","fontSize":20,"fontFamily":2,"textAlign":"center","verticalAlign":"middle","containerId":"sa0LP3Rk","originalText":"a, b, c","autoResize":true,"lineHeight":1.15,"isDeleted":false},{"id":"wAQqHaWy","type":"text","x":252.001953125,"y":133.5,"width":105.99609375,"height":23,"angle":0,"strokeColor":"#1971c2","backgroundColor":"transparent","fillStyle":"solid","strokeWidth":2,"strokeStyle":"solid","roughness":1,"opacity":100,"groupIds":[],"frameId":null,"index":"aG","roundness":null,"seed":2081110050,"version":4,"versionNonce":347381198,"boundElements":null,"locked":false,"text":"C1: (a∧b)∨c","fontSize":20,"fontFamily":2,"textAlign":"center","verticalAlign":"middle","containerId":"qEeseeVL","originalText":"C1: (a∧b)∨c","autoResize":true,"lineHeight":1.15,"isDeleted":false},{"id":"aqqG7Lvz","type":"text","x":234.404296875,"y":323.5,"width":141.19140625,"height":23,"angle":0,"strokeColor":"#2f9e44","backgroundColor":"transparent","fillStyle":"solid","strokeWidth":2,"strokeStyle":"solid","roughness":1,"opacity":100,"groupIds":[],"frameId":null,"index":"aH","roundness":null,"seed":938730466,"version":4,"versionNonce":973723988,"boundElements":null,"locked":false,"text":"C2: (a∨c)∧(b∨c)","fontSize":20,"fontFamily":2,"textAlign":"center","verticalAlign":"middle","containerId":"KUYoRNoG","originalText":"C2: (a∨c)∧(b∨c)","autoResize":true,"lineHeight":1.15,"isDeleted":false},{"id":"3p2Qxk8U","type":"text","x":520.7127990650381,"y":229.8657287525381,"width":39.005859375,"height":20.7,"angle":0,"strokeColor":"#f08c00","backgroundColor":"transparent","fillStyle":"solid","strokeWidth":2,"strokeStyle":"solid","roughness":1,"opacity":100,"groupIds":[],"frameId":null,"index":"aI","roundness":null,"seed":290527138,"version":4,"versionNonce":824422240,"boundElements":null,"locked":false,"text":"XOR","fontSize":18,"fontFamily":2,"textAlign":"center","verticalAlign":"middle","containerId":"gSH28qI8","originalText":"XOR","autoResize":true,"lineHeight":1.15,"isDeleted":false},{"id":"EhUirVPE","type":"text","x":695,"y":228.5,"width":30,"height":23,"angle":0,"strokeColor":"#f08c00","backgroundColor":"transparent","fillStyle":"solid","strokeWidth":2,"strokeStyle":"solid","roughness":1,"opacity":100,"groupIds":[],"frameId":null,"index":"aJ","roundness":null,"seed":2018628450,"version":4,"versionNonce":753433176,"boundElements":null,"locked":false,"text":"OR","fontSize":20,"fontFamily":2,"textAlign":"center","verticalAlign":"middle","containerId":"ZjBWrIBq","originalText":"OR","autoResize":true,"lineHeight":1.15,"isDeleted":false}],"files":{},"appState":{}}