Advertisement

International Conference on Theory and Application of Diagrams

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

A Graphical Representation of Boolean Logic

  • Beáta Bojda
  • Katalin Bubnó
  • Benedek Nagy
  • Viktor Takács
Part of the Lecture Notes in Computer Science book series (LNCS, 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.

Keywords

Boolean Logic visual representation educational tool 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)CrossRefGoogle Scholar
  2. 2.
  3. 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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Beáta Bojda
    • 1
  • Katalin Bubnó
    • 2
  • Benedek Nagy
    • 1
    • 3
  • Viktor Takács
    • 4
  1. 1.Eastern Mediterranean UniversityFamagustaTurkey
  2. 2.Institute of MathematicsUniversity of DebrecenDebrecenHungary
  3. 3.Faculty of InformaticsUniversity of DebrecenDebrecenHungary
  4. 4.Faculty of EconomicsUniversity of DebrecenDebrecenHungary

Personalised recommendations