Thesis Details

Knihovna pro boolovské funkce v algebraické normální formě

Bachelor's Thesis Student: Vasilišin Maroš Academic Year: 2016/2017 Supervisor: Dobai Roland, Ing., Ph.D.
English title
Library for Boolean Functions in Algebraic Normal Form
Language
Czech
Abstract

This bachelor thesis focuses on design and implementation of library in C language for manipulation od Boolean functions in Algebraic Normal Form. Majority of existing libraries for representation of Boolean functions is based on binary decision diagrams. Algebraic Normal Form presents several advantages over binary decision diagrams, for example Boolean value of function can be determined in linear time. Implemented library uses simple structures to effectively represent Boolean function in program. After experiments we determined that representation in Algebraic Normal Form has its applications, and in some cases it provides better results than representation in binary decision diagrams.

Keywords

Boolean function, Boolean Algebra, normal form, algebraic normal form, binary decision diagram, logical operations, C

Department
Department of Computer Systems FIT BUT
Degree Programme
Information Technology
Files
Status
defended, grade E
Date
13 June 2017
Reviewer
Mrázek Vojtěch, Ing., Ph.D.
Committee
Honzík Jan M., prof. Ing., CSc. (DIFS FIT BUT), předseda
Janoušek Vladimír, doc. Ing., Ph.D. (DITS FIT BUT), člen
Novák Michal, doc. RNDr., Ph.D. (DMAT FEEC BUT), člen
Strnadel Josef, Ing., Ph.D. (DCSY FIT BUT), člen
Szőke Igor, Ing., Ph.D. (DCGM FIT BUT), člen
Citation
VASILIŠIN, Maroš. Knihovna pro boolovské funkce v algebraické normální formě. Brno, 2017. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2017-06-13. Supervised by Dobai Roland. Available from: https://www.fit.vut.cz/study/thesis/19103/
BibTeX 
@bachelorsthesis{FITBT19103,
    author = "Maro\v{s} Vasili\v{s}in",
    type = "Bachelor's thesis",
    title = "Knihovna pro boolovsk\'{e} funkce v algebraick\'{e} norm\'{a}ln\'{i} form\v{e}",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2017,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/19103/"
}

Theses

Back to top