Skip to main content
SpringerLink
Log in
Book cover

International Conference on Theory and Application of Diagrams

Diagrams 2014: Diagrammatic Representation and Inference pp 228–230Cite as

A Graphical Representation of Boolean Logic

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8578))

Abstract

A new graphical representation/model of Boolean logic is presented. We use horizontal and vertical lines to represent the logical constants, serial and parallel circuits for conjunction and disjunction. For negation of a (sub)formula, we use a turn of the circuit by \(\frac{\pi}{2}\). A web-based system that is built on the model is also presented.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Nagy, B.: Reasoning by Intervals. In: Barker-Plummer, D., Cox, R., Swoboda, N. (eds.) Diagrams 2006. LNCS (LNAI), vol. 4045, pp. 145–147. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  2. Google Blockly, https://blockly-demo.appspot.com/

  3. Bojda, B., Bubnó, K., Nagy, B., Takács, V.: Visualization and efficiency in teaching mathematics. In: de la Puerta, J.G., et al. (eds.) International Joint Conference SOCO’14-CISIS’14-ICEUTE’14. AISC, vol. 299, pp. 541–550. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Eastern Mediterranean University, Famagusta, North Cyprus, Mersin-10, Turkey

    Beáta Bojda & Benedek Nagy

  2. Institute of Mathematics, University of Debrecen, Debrecen, Hungary

    Katalin Bubnó

  3. Faculty of Informatics, University of Debrecen, Debrecen, Hungary

    Benedek Nagy

  4. Faculty of Economics, University of Debrecen, Debrecen, Hungary

    Viktor Takács

Authors
  1. Beáta Bojda
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Katalin Bubnó
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Benedek Nagy
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Viktor Takács
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Monash University, PO Box 197, 3145, Caulfield East, VIC, Australia

    Tim Dwyer

  2. University of Glasgow, University Avenue, G12 8QQ, Glasgow, UK

    Helen Purchase

  3. University of Brighton, Lewes Road, BN2 4GJ, Brighton, UK

    Aidan Delaney

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bojda, B., Bubnó, K., Nagy, B., Takács, V. (2014). A Graphical Representation of Boolean Logic. In: Dwyer, T., Purchase, H., Delaney, A. (eds) Diagrammatic Representation and Inference. Diagrams 2014. Lecture Notes in Computer Science(), vol 8578. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44043-8_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-44043-8_24

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-44042-1

  • Online ISBN: 978-3-662-44043-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation