Demorgans
(XY)' = X' + Y'
{
"width":1200,
"height":700,
"showToolbox":false,
"toolbox":[
{"type":"In"},
{"type":"Out"},
{"type":"Joint"},
{"type":"DC"},
{"type":"LED"},
{"type":"PushOff"},
{"type":"PushOn"},
{"type":"Toggle"},
{"type":"BUF"},
{"type":"NOT"},
{"type":"AND"},
{"type":"NAND"},
{"type":"OR"},
{"type":"NOR"},
{"type":"EOR"},
{"type":"ENOR"},
{"type":"OSC"},
{"type":"7seg"},
{"type":"16seg"},
{"type":"4bit7seg"},
{"type":"RotaryEncoder"},
{"type":"BusIn"},
{"type":"BusOut"},
{"type":"RS-FF"},
{"type":"JK-FF"},
{"type":"T-FF"},
{"type":"D-FF"},
{"type":"8bitCounter"},
{"type":"HalfAdder"},
{"type":"FullAdder"},
{"type":"4bitAdder"},
{"type":"2to4BinaryDecoder"},
{"type":"3to8BinaryDecoder"},
{"type":"4to16BinaryDecoder"},
{"type":"DSO"},
{"type":"Delay"},
{"type":"Transmitter"},
{"type":"74181"},
{"type":"JKFFPC"},
{"type":"JKFFPCFE"}
],
"devices":[
{"type":"DC","id":"dev0","x":200,"y":72,"label":"DC"},
{"type":"Toggle","id":"dev1","x":328,"y":144,"label":"Y","state":{"on":true}},
{"type":"Toggle","id":"dev2","x":328,"y":48,"label":"X","state":{"on":true}},
{"type":"LED","id":"dev3","x":680,"y":16,"label":"LED"},
{"type":"LED","id":"dev4","x":680,"y":96,"label":"LED"},
{"type":"AND","id":"dev5","x":472,"y":16,"label":"AND - XY"},
{"type":"NOT","id":"dev6","x":568,"y":16,"label":"NOT - (XY)'"},
{"type":"NAND","id":"dev7","x":472,"y":96,"label":"NAND - (XY)'"},
{"type":"LED","id":"dev8","x":680,"y":304,"label":"LED"},
{"type":"NOT","id":"dev9","x":472,"y":264,"label":"NOT - X'"},
{"type":"NOT","id":"dev10","x":472,"y":352,"label":"NOT - Y'"},
{"type":"OR","id":"dev11","x":568,"y":304,"label":"OR - X' + Y'"}
],
"connectors":[
{"from":"dev1.in0","to":"dev0.out0"},
{"from":"dev2.in0","to":"dev0.out0"},
{"from":"dev3.in0","to":"dev6.out0"},
{"from":"dev4.in0","to":"dev7.out0"},
{"from":"dev5.in0","to":"dev2.out0"},
{"from":"dev5.in1","to":"dev1.out0"},
{"from":"dev6.in0","to":"dev5.out0"},
{"from":"dev7.in0","to":"dev2.out0"},
{"from":"dev7.in1","to":"dev1.out0"},
{"from":"dev8.in0","to":"dev11.out0"},
{"from":"dev9.in0","to":"dev2.out0"},
{"from":"dev10.in0","to":"dev1.out0"},
{"from":"dev11.in0","to":"dev9.out0"},
{"from":"dev11.in1","to":"dev10.out0"}
]
}
Demorgans #2
(X+Y)' = X' * Y'
{
"width":1200,
"height":700,
"showToolbox":true,
"toolbox":[
{"type":"In"},
{"type":"Out"},
{"type":"Joint"},
{"type":"DC"},
{"type":"LED"},
{"type":"PushOff"},
{"type":"PushOn"},
{"type":"Toggle"},
{"type":"BUF"},
{"type":"NOT"},
{"type":"AND"},
{"type":"NAND"},
{"type":"OR"},
{"type":"NOR"},
{"type":"EOR"},
{"type":"ENOR"},
{"type":"OSC"},
{"type":"7seg"},
{"type":"16seg"},
{"type":"4bit7seg"},
{"type":"RotaryEncoder"},
{"type":"BusIn"},
{"type":"BusOut"},
{"type":"RS-FF"},
{"type":"JK-FF"},
{"type":"T-FF"},
{"type":"D-FF"},
{"type":"8bitCounter"},
{"type":"HalfAdder"},
{"type":"FullAdder"},
{"type":"4bitAdder"},
{"type":"2to4BinaryDecoder"},
{"type":"3to8BinaryDecoder"},
{"type":"4to16BinaryDecoder"},
{"type":"DSO"},
{"type":"Delay"},
{"type":"Transmitter"},
{"type":"74181"},
{"type":"JKFFPC"},
{"type":"JKFFPCFE"}
],
"devices":[
{"type":"DC","id":"dev0","x":136,"y":176,"label":"DC"},
{"type":"Toggle","id":"dev1","x":256,"y":144,"label":"X","state":{"on":false}},
{"type":"Toggle","id":"dev2","x":256,"y":232,"label":"Y","state":{"on":false}},
{"type":"LED","id":"dev3","x":640,"y":184,"label":"LED"},
{"type":"LED","id":"dev4","x":640,"y":288,"label":"LED"},
{"type":"LED","id":"dev5","x":640,"y":432,"label":"LED"},
{"type":"OR","id":"dev6","x":416,"y":184,"label":"OR - (X+Y)"},
{"type":"NOT","id":"dev7","x":512,"y":184,"label":"NOT - (X+Y)'"},
{"type":"NOR","id":"dev8","x":416,"y":288,"label":"NOR - (X+Y)'"},
{"type":"NOT","id":"dev9","x":416,"y":400,"label":"NOT - X'"},
{"type":"NOT","id":"dev10","x":416,"y":464,"label":"NOT - Y'"},
{"type":"AND","id":"dev11","x":512,"y":432,"label":"AND - X' Y'"}
],
"connectors":[
{"from":"dev1.in0","to":"dev0.out0"},
{"from":"dev2.in0","to":"dev0.out0"},
{"from":"dev3.in0","to":"dev7.out0"},
{"from":"dev4.in0","to":"dev8.out0"},
{"from":"dev5.in0","to":"dev11.out0"},
{"from":"dev6.in0","to":"dev1.out0"},
{"from":"dev6.in1","to":"dev2.out0"},
{"from":"dev7.in0","to":"dev6.out0"},
{"from":"dev8.in0","to":"dev1.out0"},
{"from":"dev8.in1","to":"dev2.out0"},
{"from":"dev9.in0","to":"dev1.out0"},
{"from":"dev10.in0","to":"dev2.out0"},
{"from":"dev11.in0","to":"dev9.out0"},
{"from":"dev11.in1","to":"dev10.out0"}
]
}